ALaRI Hang Glider

Search form

Education and Innovation in Embedded Systems Design

USI Università della Svizzera italiana, USI Faculty of Informatics, Advanced Learning and Research Institute USI Università della Svizzera italiana USI Faculty of Informatics USI Advanced Learning and Research Institute
TitleA Methodology for Testing IPSec-based Systems
Publication TypeConference Paper
Year of Publication2004
AuthorsBoiko, U., A. Ferrante, A. Lo Duca, and V. Piuri
Conference NameSoftCOM 2004
Date PublishedOctober
Conference LocationSplit
Keywordsencapsulating security payload (ESP), IPSec, security, testing, unified modeling language (UML)

{IPSec is a suite of protocols adding security to communications at the IP level. This suite of protocols is becoming more and more important as it is included as mandatory security mechanism in IPv6. This paper focuses on a methodology for testing IPSec implementations. A UML model of the IPSec suite of protocols was developed. Test cases were obtained applying a coverage method on the same model.}