Formal methods for the analysis of security protocols.

Aquesta tesi apareix a les col·leccions següents