Konstantinos Chatzikokolakis. Spécification et vérification des protocoles de sécurité probabilistes. (Probabilistic and Information-Theoretic Approaches to Anonymity). PhD thesis, École Polytechnique, Palaiseau, France, 2007. [doi]
@phdthesis{hal-7560,
title = {Spécification et vérification des protocoles de sécurité probabilistes. (Probabilistic and Information-Theoretic Approaches to Anonymity)},
author = {Konstantinos Chatzikokolakis},
year = {2007},
url = {https://tel.archives-ouvertes.fr/pastel-00003950},
researchr = {https://researchr.org/publication/hal-7560},
cites = {0},
citedby = {0},
school = {École Polytechnique, Palaiseau, France},
}