The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 论文
2005Lecture notes in computer science引用 1319
Advanced Authentication Protocols SecurityFormal Methods in VerificationUser Authentication and Security Systems