A requires/provides model for computer attacks

Proceedings New Security Paradigm Workshop

Volumn , Issue , 2000, Pages 31-38

  Templeton, Steven J ^a   Levitt, Karl ^a  

^a University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS; NETWORK PROTOCOLS;

INTRUSION DETECTION;

SECURITY OF DATA;

EID: 0034593179     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/366173.366187     Document Type: Conference Paper

References (14)

1. Baldwin, R. W. (1991) Kuang: Rule-based security checking. In Kolstad, Rob. Daemons and dragons: the COPS security auditor. (tutorial) UNIX Review v9.n3 (March, 1991)
2. Farmer, Dan, and Venema, Wietse (1995) SATAN: Security Administrator's Tool for Analyzing Networks, http://www.fish.com/̃zen/satan/satan.html
3. Farmer, Dan, and Spafford, Eugene. (1990) The COPS security checker system. In Proceedings of the Summer 1990 USENIX Conference, June 1990.
4. Feiertag, R., Kahn, C., Porras, P., Schnackenberg, D., Staniford-Chen, S., Tung, B. (1999) A Common Intrusion Specification Language (CISL). At http://gost.isi.edu/projects/crisis/cidf/cisl_current.txt
5. Forrest, S., Hofmeyr, S., Somayaji, A., Longstaff, T. A Sense of Self for UNIX processes. Proceedings of 1996 IEEE Symposium on Computer Security and Privacy, 1996
6. Garfinkel S. and Spafford, E. (1997) Practical Unix and Internet Security, 2nd ed., O'Reilly and Associates, pp. 584-87
7. Guha, B.; Mukherjee, B. (1997) Network security via reverse engineering of TCP code: vulnerability analysis and proposed solutions. IEEE Network, vol. 11, (no.4), IEEE, July-Aug. 1997. p.40-8.
8. Kahn, C., Porras, P., Staniford-Chen, S. and Tung, B.(2000) A Common Intrusion Detection Framework. Submitted to the Journal of Computer Security.
9. Kim, G. and Spafford, E. H. (1997) Tripwire: A Case Study in Integrity Monitoring. In D. Denning and P. Denning, editors, Interact Beseiged: Countering Cyberspace Scofflaws, Addison-Wesley, 1997.
10. Ko C.C.W. (1996) Execution Monitoring of Security-Critical Programs in a Distributed System: A Specification-Based Approach, Ph.D. Thesis, University of California at Davis, August 1996
11. Ko, Calvin, Fink, George, and Levitt, Karl (1997) Execution Monitoring of Security-critical Programs in Distributed Systems: A Specification-based Approach, In Proceedings of the 1997 IEEE Symposium on Security and Privacy, pp. 134-144
12. Kumar, S. and Spafford, E. H (1994) A Pattern-Matching Model for Intrusion Detection PROCEEDINGS OF THE NATIONAL COMPUTER SECURITY CONFERENCE; pp. 11-21; Baltimore, MD; Coast TR 95-06
13. Vigna G. and Kemmerer, R., (1998) NetSTAT: A network-based intrusion detection approach, Proceedings of the 14th Annual Computer Security Applications Conference, Scottsdale, Arizona, December 1998
14. Zerkle, Dan and Levitt, Karl (1996) NetKuang - A multi-host configuration vulnerability checker. In Proceedings of the 6th USENIX UNIX Security Symposium. San Jose, CA. July 1996, p. 195-2