Parametric and probabilistic model checking of confidentiality in data dispersal algorithms | IEEE Conference Publication | IEEE Xplore