共 50 条
- [21] Model checking large network protocol implementations USENIX ASSOCIATION PROCEEDINGS OF THE FIRST SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI'04), 2004, : 155 - 168
- [22] SPFuzz: A Hierarchical Scheduling Framework for Stateful Network Protocol Fuzzing IEEE ACCESS, 2019, 7 : 18490 - 18499
- [23] A Guided Fuzzing Approach for Security Testing of Network Protocol Software PROCEEDINGS OF 2015 6TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE, 2015, : 726 - 729
- [25] Network protocol fuzz testing for information systems and applications: a survey and taxonomy Multimedia Tools and Applications, 2016, 75 : 14745 - 14757
- [26] More Efficient Implementations of CASCADE Information Reconciliation Protocol 2016 24TH SIGNAL PROCESSING AND COMMUNICATION APPLICATION CONFERENCE (SIU), 2016, : 161 - 164
- [27] Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations ENGINEERING SECURE SOFTWARE AND SYSTEMS, 2011, 6542 : 58 - 72
- [28] Towards Automated Fuzzing of 4G/5G Protocol Implementations Over the Air 2022 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM 2022), 2022, : 86 - 92
- [29] Improve Peach: Making Network Protocol Fuzz Testing More Precisely DESIGN, MANUFACTURING AND MECHATRONICS, 2014, 551 : 642 - 647
- [30] NETWORK MANAGEMENT INTEGRATING SNMP CMIP PROTOCOL IMPLEMENTATIONS ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1994, 49 (1-2): : 17 - 26