IPSECvalidate - A tool to validate IPSEC configurations

Proceedings of the 15th Conference on Systems Administration, LISA 2001

Volumn , Issue , 2001, Pages 19-24

  Sailer, Reiner ^a   Acharya, Arup ^a   Beigi, Mandis ^a   Jennings, Raymond ^a   Verma, Dinesh ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

TURING MACHINES;

IP APPLICATIONS; IPSEC PROTOCOL; SECURITY ASSOCIATION;

INTERNET PROTOCOLS;

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

References (11)

1. J. Anderson, ''Computer Security Technology Planning Study,'' ESD-TR-73-51, Vol I+II, HQ Electronic Systems Division, Hanscom AFB, Ma., 1972.
2. Network Research Group at the Lawrence Berkeley National Laboratory. LIBPCAP 0.4: Packet Capture Library, ftp.ee.lbl.gov, 1997.
3. N. Doraswamy and D. Harkins, IPSEC - The New Security Standard for the Internet, Intranets, and Virtual Private Networks, Prentice Hall, 1999.
4. D. Harkins and D. Carrel, RFC2409 - The Internet Key Exchange (IKE). Proposed Standard, 1998.
5. S. Kent and R. Atkinson, RFC2401 - Security Architecture for the Internet Protocol, Proposed Standard, 1998.
6. S. Kent and R. Atkinson, RFC2402 - IP Authentication Header, Proposed Standard, 1998.
7. S. Kent and R. Atkinson, RFC2406 - IP Encapsulating Security Payload, Proposed Standard, 1998.
8. A. Kuznetsov, Institute of Nuclear Research, Moscow. ''IPROUTE2,'' ftp.inr.ac.ru/ip-routing or ftp.sunset.se/pub/Linux/ip-routing, 1999.
9. S. McCanne and Van Jacobson, ''The BSD Packet Filter: A New Architecture for User-level Packet Capture,'' USENIX Conference, 1993.
10. D. Piper, RFC2407 - the Internet IP Security Domain of Interpretation for ISAKMP, Proposed Standard, 1998.
11. A. Shacham, R. Monsour, R. Pereira, and M. Thomas, RFC2393 - IP Payload Compression Protocol (IPComp), Proposed Standard, 1998.