A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage

Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni. A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. In Nathalie Bertrand 0001, Luca Bortolussi, editors, Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Volume 10503 of Lecture Notes in Computer Science, pages 123-139, Springer, 2017. [doi]

Authors

Marco Baldi

This author has not been identified. Look up 'Marco Baldi' in Google

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Franco Chiaraluce

This author has not been identified. Look up 'Franco Chiaraluce' in Google

Alessandro Cucchiarelli

This author has not been identified. Look up 'Alessandro Cucchiarelli' in Google

Linda Senigagliesi

This author has not been identified. Look up 'Linda Senigagliesi' in Google

Luca Spalazzi

This author has not been identified. Look up 'Luca Spalazzi' in Google

Francesco Spegni

This author has not been identified. Look up 'Francesco Spegni' in Google