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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Lee, H. W., Yun, S. H., Kim, J. S., Oh, N. H., & Kim, D. H. (2005). IPv6/IPsec conformance test management system with formal Description Technique. In Lecture Notes in Computer Science (Vol. 3481, pp. 401–410). Springer Verlag. https://doi.org/10.1007/11424826_42
Mendeley helps you to discover research relevant for your work.