Abstract
To ensure the correctness of IPv6/IPsec implementations, it is very necessary to introduce the technique of “protocol testing”. Secure IPsec protocol on IPv6 are possible through proper use of the Encapsulating Security Payload(ESP) header and the Authenticated Header(AH). IPv6/IPsec test tools must be able to perform a wide variety of functions to adequately test its conformance on standard and validate mechanism on IPv6 devices. In this study, we developed advanced conformance test management system on FreeBSD 4.8/5.0 with KAME kit based on the compatibility function with TAHI project. Proposed system adopts Formal Description Technique for proving its correctness on overall testing sequences and suites.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Deering, S., Hinden, R.: Internet Protocol Version 6 (IPv6) Specification. RFC 2460, IETF Network Working Group (December 1998)
Loshin, P.: IPv6: Theory, Protocol and Practice, 2nd edn. Morgan Kaufmann, Elsevier (2003)
Kent, S., Atkinson, R.: IP Encapsulating Security Payload(ESP), Network Working Group, Internet Draft: draft-ietf-ipsec-esp-04.txt (1997)
Kent, S., Atkinson, R.: IP Authentication Header, Network Working Group, Internet Draft: draft-ietf-ipsec-auth-05.txt (1997)
Gecse, R.: Conformance testing methodology of Internet protocols. Testing of Communicating Systems, Tomsk, Russia (September 1998)
University of NewHampshire, InterOperability Lab, IP Consortium Test Suite, Internet Protocol Version 6, Technical Document (January 2000)
Bosik, B.S., Uyar, M.U.: Finite State Machine based Formal Methods in Protocol Conformance Testing: From Theory to Implementation. Computer Networks and ISDN Systems 22(7) (1991)
Rezake, A.: Implementation of a Protocol Conformance Test Sequence Generation Methodology Using Distingushing Sequences, Thesis, Middle East Technical University, Ankara (1993)
TAHI project, http://www.tahi.org/
KAME project, http://www.kame.org/
ISO/IEC 9646-3, Open System Interconnection, Conformance Testing Methodology and Framework, IS-9646, Part 3 - The Tree and Tabular Combined Notation (1996)
Zhiliang, W., Jianping, W., Zhongjie, L., Xia, Y.: Communication Mechanism in Distributed Protocol Testing System. In: Proceeding of ICCT 2003, pp. 149–152 (2003)
Maughan, D., Schertler, M., Schneider, M., Turner, J.: Internet Security Associations and Key Management Protocol (ISAKMP). IPSECWorking Group, Internet Draft (1997)
Kent, S., Atkinson, R.: Security Architecture for the Internet Protocol, Network Working Group, Internet Draft: draft-ietf-ipsec-.txt (1997)
Conta, A., Deering, S.: Internet Control Message Protocol (ICMPv6) for the Internet Protocol Version 6 (IPv6) Specification. RFC 2463, IETF Network Working Group (December 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, HW., Yun, SH., Kim, JS., Oh, NH., Kim, DH. (2005). IPv6/IPsec Conformance Test Management System with Formal Description Technique. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2005. ICCSA 2005. Lecture Notes in Computer Science, vol 3481. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11424826_42
Download citation
DOI: https://doi.org/10.1007/11424826_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25861-2
Online ISBN: 978-3-540-32044-9
eBook Packages: Computer ScienceComputer Science (R0)