共 50 条
- [1] OSV: OSPF VULNERABILITY CHECKING TOOL [J]. PROCEEDINGS OF 2017 14TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2017,
- [2] Host-Centric Model Checking for Network Vulnerability Analysis [J]. 24TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2008, : 225 - 234
- [3] The Research of Architecture Vulnerability Checking [J]. 2012 THIRD INTERNATIONAL CONFERENCE ON THEORETICAL AND MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (ICTMF 2012), 2013, 38 : 871 - 877
- [5] SDLcheck:: A model checking tool [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 378 - 381
- [6] Automated checking for Windows host vulnerabilities [J]. 16TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2005, : 139 - 148
- [8] Formally Analyzing Software Vulnerability Based on Model Checking [J]. NSWCTC 2009: INTERNATIONAL CONFERENCE ON NETWORKS SECURITY, WIRELESS COMMUNICATIONS AND TRUSTED COMPUTING, VOL 1, PROCEEDINGS, 2009, : 615 - +
- [9] ChaseT: A Tool for Checking Chase Termination [J]. SCALABLE UNCERTAINTY MANAGEMENT, 2011, 6929 : 520 - 524