Representing TCP/IP connectivity for topological analysis of network security

Proceedings - Annual Computer Security Applications Conference, ACSAC

Volumn 2002-January, Issue , 2002, Pages 25-31

  Ritchey, Ronald ^a   O'Berry, Brian ^a   Noel, Steven ^a  

^a George Mason University   (United States)

Author keywords

Application software; Computer networks; Computer security; Encoding; Ethernet networks; Filtering; Information analysis; Information security; Information systems; TCPIP

Indexed keywords

APPLICATION PROGRAMS; COMPUTER NETWORKS; COMPUTER SYSTEM FIREWALLS; COMPUTER VIRUSES; ENCODING (SYMBOLS); ETHERNET; FILTRATION; INFORMATION ANALYSIS; INFORMATION FILTERING; INFORMATION SYSTEMS; MODEL CHECKING; SECURITY OF DATA; SECURITY SYSTEMS; TOPOLOGY;

ETHERNET NETWORKS; MULTIPLE LEVELS; NETWORK CONNECTIVITY; NETWORK HOSTS; REAL-WORLD NETWORKS; TCPIP; TOPOLOGICAL ANALYSIS; VULNERABILITY ANALYSIS;

NETWORK SECURITY;

EID: 84948965481     PISSN: 10639527     EISSN: None     Source Type: Journal    
DOI: 10.1109/CSAC.2002.1176275     Document Type: Article

References (9)

1. Apache Web Server information and software on the web at www.apache.org
2. B. Beizer, "Software Testing Techniques, 2nd edition, " Thomson Computer Press, 1990
3. J. Birch, E. Clark, K. McMillan, D. Dill, and L.J. Hwang, Symbolic Model Checking: 1020 States and Beyond, Proceedings of the ACM/SIGDA International Workshop in Formal Methods in VLSI Design, January, 1991
4. Coleson, Jay, An Elementary Introduction to Sendmail, The SANS Institute, 2000. http://www.sans.org/infosecFAQ/unix/intro-sendmail.htm
5. Computer Oracle and Password System (COPS) information and software on the web at ftp.cert.org/pub/tools/cops
6. Internet Information Server information on the web at www.microsoft.com/iis
7. Internet Security Systems, System Scanner information on the web at www.iss.net
8. Ronald W Ritchey and Paul Ammann, Using Model Checking To Analyze Network Security, 2000 IEEE Symposium on Security and Privacy, May 2000
9. Oleg Sheyner, Somesh Jha, and Jeannette M. Wing, Automated Generation and Analysis of Attack Graphs, Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, May 2002