共 50 条
- [41] SATFuzz: A Stateful Network Protocol Fuzzing Framework from a Novel Perspective APPLIED SCIENCES-BASEL, 2022, 12 (15):
- [42] COCOS - A configurable SDL complier for generating efficient protocol implementations SDL'99: THE NEXT MILLENNIUM, 1999, : 259 - 274
- [44] GREEN protocol: gradient based energy efficient routing with network coding capacity Telecommunication Systems, 2016, 62 : 135 - 147
- [45] PROGNOSIS: Closed-Box Analysis of Network Protocol Implementations SIGCOMM '21: PROCEEDINGS OF THE 2021 ACM SIGCOMM 2021 CONFERENCE, 2021, : 762 - 774
- [46] Generating network security protocol implementations from formal specifications Certification and Security in Inter-Organizational E-Services, 2005, 177 : 33 - 53
- [47] Rule-based static analysis of network protocol implementations USENIX Association Proceedings of the 15th USENIX Security Symposium, 2006, : 193 - 208