Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

Aquesta tesi apareix a les col·leccions següents