共 50 条
- [33] Theoretical Analysis of RFID Security Protocols 2014 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2014, : 302 - 306
- [35] A Critical Analysis of RFID Security Protocols 2008 22ND INTERNATIONAL WORKSHOPS ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOLS 1-3, 2008, : 1357 - 1362
- [37] A formal analysis for capturing replay attacks in cryptographic protocols ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS, 2007, 4846 : 150 - +
- [38] Process algebraic frameworks for the specification and analysis of cryptographic protocols MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2003, PROCEEDINGS, 2003, 2747 : 46 - 67
- [39] Adversarial Security Analysis of Cryptographic Protocols for IoD Networks IEEE ACCESS, 2024, 12 : 183792 - 183808
- [40] Decision procedures for the analysis of cryptographic protocols by logics of belief PROCEEDINGS OF THE 12TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, 1999, : 44 - 54