Publications (1)0 Total impact
Available from: alari.ch
[show abstract] [hide abstract]
ABSTRACT: IPSec is a suite of protocols adding security to com-munications 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 imple-mentations. A UML model of the IPSec suite of protocols was developed. Test cases were obtained applying a coverage method on the same model.