TY  - RPRT
TI  - Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version)
AU  - Marco Baldi
AU  - Alessandro Cucchiarelli
AU  - Linda Senigagliesi
AU  - Luca Spalazzi
AU  - Francesco Spegni
PY  - 2016
UR  - https://arxiv.org/abs/1605.05930
ID  - 1605.05930
ER  -