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

Browse the full ICCSA paper archive.