共 50 条
- [41] Decidable analysis of cryptographic protocols with products and modular exponentiation PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 2986 : 355 - 369
- [42] Symbolic Analysis of Cryptographic Protocols Containing Bilinear Pairings 2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2012, : 63 - 77
- [43] A problem solving mechanism for formal analysis of cryptographic Protocols NEW ADVANCES IN SIMULATION, MODELLING AND OPTIMIZATION (SMO '07), 2007, : 95 - 98
- [44] Decision procedures for the analysis of cryptographic protocols by logics of belief Proceedings of the Computer Security Foundations Workshop, 1999, : 44 - 54
- [45] Automata-based analysis of recursive cryptographic protocols STACS 2004, PROCEEDINGS, 2004, 2996 : 382 - 393
- [46] Logic-based formal analysis of cryptographic protocols ICON: 2006 IEEE INTERNATIONAL CONFERENCE ON NETWORKS, VOLS 1 AND 2, PROCEEDINGS: NETWORKING -CHALLENGES AND FRONTIERS, 2006, : 300 - +
- [47] Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages GROUPWARE-DESIGN: IMPLEMENTATION, AND USE, PROCEEDINGS, 2009, 5784 : 311 - +
- [48] An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets 11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 457 - 460
- [49] Infinite state AMC-model checking for cryptographic protocols 22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 181 - +