Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni. Parametric and probabilistic model checking of confidentiality in data dispersal algorithms. In International Conference on High Performance Computing & Simulation, HPCS 2016, Innsbruck, Austria, July 18-22, 2016. pages 476-483, IEEE, 2016. [doi]
Abstract is missing.