NetKuang - A multi-host configuration vulnerability checker

6th USENIX Security Symposium 1996

Volumn , Issue , 1996, Pages

  Zerkle, Dan ^a   Levitt, Karl ^a  

^a University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BREADTH-FIRST; PRODUCTION SYSTEM; SYSTEM CONFIGURATIONS;

EID: 85084161252     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. D. Farmer and E. H. Spafford. The cops security checker system. In Proceedings of the Summer 1990 Usenix Conference, June 1990.
2. Robert W. Baldwin. Kuang: Rule-based security checking. Documentation in ftp://ftp.cert.org/pub/tools/cops/1.04/cops.104.tar.
3. A. Heydon. Specifying and checking unix security constraints. In Proceedings of the 3rd USENIX Security Symposium, September 1992.
4. Gene Kim and E. H. Spafford. The design of a system integrity monitor: Tripwire. Technical Report CSD-TR-93-071, Department of Computer Sciences, Purdue University, West Lafayette, Indiana, November 1993.
5. D. Farmer and W. Venema. Security administrator's tool for analyzing networks. http://www.fish.com/zen/satan/satan.html.
6. Internet Security Systems. Internet scanner. http://www.iss.net/iss/scanner.html.
7. William Gibson. Neuromancer. Ace Books, 1984.