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]
No references recorded for this publication.
No citations of this publication recorded.