共 50 条
- [21] CRYPTOBAP: A Binary Analysis Platform for Cryptographic Protocols PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 1362 - 1376
- [22] Formal analysis and design principles of cryptographic protocols Nanjing Youdian Xueyuan Xuebao/Journal of Nanjing Institute of Posts and Telecommunications, 2001, 21 (03):
- [23] A Formal Analysis Method with Reasoning for Cryptographic Protocols PROCEEDINGS OF 2016 12TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2016, : 566 - 570
- [24] The modeling analysis of cryptographic protocols using Promela WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 4321 - +
- [25] Formal Analysis for Cryptographic Protocols on a Trace Semantics INTERNATIONAL CONFERENCE ON FUTURE NETWORKS, PROCEEDINGS, 2009, : 127 - 129
- [26] On Formal Analysis of Cryptographic Protocols and Supporting Tool CHINESE JOURNAL OF ELECTRONICS, 2010, 19 (02): : 223 - 228
- [27] Honest functions and their application to the analysis of cryptographic protocols PROCEEDINGS OF THE 12TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, 1999, : 83 - 89
- [28] Formal model for cryptographic protocols based on planning theory Jisuanji Yanjiu yu Fazhan, 2008, 9 (1567-1577):
- [30] Stateless Cryptographic Protocols 2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 678 - 687