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]

Authors

Hyung-Woo Lee

This author has not been identified. Look up 'Hyung-Woo Lee' in Google

Sung-Hyun Yun

This author has not been identified. Look up 'Sung-Hyun Yun' in Google

Jae-Sung Kim

This author has not been identified. Look up 'Jae-Sung Kim' in Google

Nam-Ho Oh

This author has not been identified. Look up 'Nam-Ho Oh' in Google

Do-Hyung Kim

This author has not been identified. Look up 'Do-Hyung Kim' in Google