Automated Security Protocol Analysis with the AVISPA Tool (2006)

by Luca Viganò
Venue:In Proceedings of MFPS’05