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

DOI10.1007/978-3-319-66335-7_8zbMath1420.68117OpenAlexW2743058642WikidataQ124212538 ScholiaQ124212538MaRDI QIDQ5194927

Linda Senigagliesi, Alessandro Cucchiarelli, Marco Baldi, Luca Spalazzi, Francesco Spegni, Ezio Bartocci, Franco Chiaraluce

Publication date: 17 September 2019

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66335-7_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Information storage and retrieval of data (68P20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Parameter-Independent Strategies for pMDPs via POMDPs

This page was built for publication: A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage