IPv6/IPsec Conformance Test Management System with Formal Description Technique

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Lee, Hyung-Woo, Yun, Sung-Hyun, Kim, Jae-Sung, Oh, Nam-Ho, Kim, Do-Hyung
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Architecture Computer science control theory systems Conformance Test Exact sciences and technology Formal Description IPSec IPv6 Security
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!