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,