共 50 条
- [1] An Improved and Efficient Tool for Analyzing Industrial Security Protocols [J]. 2009 IITA INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS ENGINEERING, PROCEEDINGS, 2009, : 528 - 532
- [2] Analysis on packet resequencing for reliable network protocols [J]. IEEE INFOCOM 2003: THE CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS 1-3, PROCEEDINGS, 2003, : 990 - 1000
- [4] Security and Forensic Analysis for Industrial Ethernet Protocols [J]. 2022 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON22), 2022, : 63 - 65
- [6] A Calculus for the Analysis of Wireless Network Security Protocols [J]. FORMAL ASPECTS OF SECURITY AND TRUST, 2011, 6561 : 206 - 222
- [7] A tool of analysis and implementation of Security Protocols on Distributed Systems [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: SYSTEMICS, CYBERNETICS AND INFORMATICS: TECHNOLOGIES AND APPLICATIONS, 2003, : 438 - 443
- [8] The Scyther tool: Verification, falsification, and analysis of security protocols [J]. COMPUTER AIDED VERIFICATION, 2008, 5123 : 414 - 418
- [9] Archipelago:: A network security analysis tool [J]. USENIX ASSOCIATION PROCEEDINGS OF THE SEVENTEENTH LARGE INSTALLATION SYSTEMS ADMINISTRATION CONFERENCE, 2003, : 149 - 158