Using model checking to analyze network vulnerabilities

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

Volumn , Issue , 2000, Pages 156-165

  Ritchey, Ronald W ^a   Ammann, Paul ^b  

^a BOOZ ALLEN HAMILTON   (United States)

^b George Mason University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CLIENT SERVER COMPUTER SYSTEMS; NETWORK PROTOCOLS; TELECOMMUNICATION SERVICES; WORLD WIDE WEB;

COMPUTER ORACLE AND PASSWORD SYSTEM; FILE TRANSFER PROTOCOL SERVICES; HYPERTEXT TRANSFER PROTOCOL SERVICES; MODEL CHECKING;

SECURITY OF DATA;

EID: 0033718255     PISSN: 10637109     EISSN: None     Source Type: Journal    
DOI: 10.1109/SECPRI.2000.848453     Document Type: Article

References (15)

1. Apache Web Server http://www.apache.com
2. R. Baldwin Kuang: Rule-based security checking
3. B. Beizer Software Testing Techniques 2nd 1990 Thomson Computer Press
4. J. Birch E. Clarke K. McMillan D. Dill L. J. Hwang Symbolic Model Checking: 1020 States and Beyond Proceedings of the ACM/SIGDA International Workshop in Formal Methods in VLSI Design Proceedings of the ACM/SIGDA International Workshop in Formal Methods in VLSI Design 1991-January
5. W. Chan R. Anderson P. Beame S. Burns F. Modugno D. Notkin Model Checking Large Software Specifications IEEE Transactions on Software Engineering 24 7 498 520 July 1998
6. E. Clarke O. Grumberg D. Peled Model Checking 2000 MIT Press MA, Cambridge
7. Computer Oracle and Password System (COPS)
8. G. Holzmann The Model Checker SPIN IEEE Transactions on Software Engineering 23 5 279 295 May 1997
9. System Scanner Internet Security Systems http://www.iss.net
10. A. Mayer A. Wool E. Ziskind Fang: A Firewall Analysis Engine Proceedings of the IEEE Symposium on Security and Privacy Proceedings of the IEEE Symposium on Security and Privacy Oakland CA 2000-May
11. J. C. Mitchell M. Mitchell U. Stern Automated analysis of cryptographic protocols using Murø Proceedings of the IEEE Symposium on Security and Privacy 141 151 Proceedings of the IEEE Symposium on Security and Privacy Oakland CA 1997-May
12. CyberCop Scanner Network Associates http://www.nai.com/asp_set/ products/tns/ccscanner_intro.asp
13. RedHat Linux http://www.redhat.com
14. SMV http:// www.cs.cmu.edu/~modelcheck
15. D. Zerkle K. Levitt NetKuang-A Multi-Host Configuration Vulnerability Checker Proceedings of the Sixth USENIX Unix Security Symposium Proceedings of the Sixth USENIX Unix Security Symposium San Jose CA 1996