Véronique Cortier. Analyse des protocoles cryptographiques: des modèles symboliques aux modèles calculatoires. (Analysis of cryptographic protocols: from symbolic to computational models). 2009. [doi]
@book{Cortier09-0,
title = {Analyse des protocoles cryptographiques: des modèles symboliques aux modèles calculatoires. (Analysis of cryptographic protocols: from symbolic to computational models)},
author = {Véronique Cortier},
year = {2009},
url = {https://tel.archives-ouvertes.fr/tel-00578816},
researchr = {https://researchr.org/publication/Cortier09-0},
cites = {0},
citedby = {0},
}