Automated Security Protocol Analysis With the AVISPA Tool. (2006)

by L Vigano
Venue:Electronic Notes in Theoretical Computer Science