共 50 条
- [31] Classical Cryptographic Protocols in a Quantum World ADVANCES IN CRYPTOLOGY - CRYPTO 2011, 2011, 6841 : 411 - 428
- [32] Formal proofs of cryptographic security of Diffie-Hellman-based protocols TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 312 - +
- [35] Algebra model and security analysis for cryptographic protocols SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2004, 47 (02): : 199 - 220
- [36] Automatic detection of attacks on cryptographic protocols: A case study DETECTION OF INTRUSIONS AND MALWARE, AND VULNERABILITY ASSESSMENT, PROCEEDINGS, 2005, 3548 : 69 - 84
- [37] Studying Formal Security Proofs for Cryptographic Protocols INFORMATION SECURITY EDUCATION FOR A GLOBAL DIGITAL SOCIETY, WISE 10, 2017, 503 : 63 - 73
- [38] On different approaches to establish the security of cryptographic protocols SAM'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, VOLS 1 AND 2, 2003, : 637 - 643