Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/05/01 Vol. E96-DNo. 5 ;
pp. 1095-1104 Type of Manuscript: PAPER Category: Software Engineering Keyword: ESL, IPsec, network simulator, on-line verification, virtual platform,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2008/05/01 Vol. E91-DNo. 5 ;
pp. 1319-1329 Type of Manuscript: Special Section PAPER (Special Section on Information and Communication System Security) Category: Implementation Keyword: IKEv2, key management, IPsec, network security, open-source,