IPv6/IPsec Conformance Test Management System with Formal Description Technique

Hyung-Woo Lee, Sung-Hyun Yun, Jae-Sung Kim, Nam-Ho Oh, Do-Hyung Kim. IPv6/IPsec Conformance Test Management System with Formal Description Technique. In Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan, editors, Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part II. Volume 3481 of Lecture Notes in Computer Science, pages 401-410, Springer, 2005. [doi]

Abstract

Abstract is missing.