共 50 条
- [3] Stateless Cryptographic Protocols 2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 678 - 687
- [7] Using Animation in Active Learning Tool to Detect Possible Attacks in Cryptographic Protocols VISUAL INFORMATICS: BRIDGING RESEARCH AND PRACTICE, 2009, 5857 : 510 - 520
- [10] A bisimulation method for cryptographic protocols PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 1381 : 12 - 26