Model-based testing of network security protocols in Java card applications

Mak IR/Manakin Repository

Show simple item record

dc.contributor.author Ssekibuule, Richard
dc.date.accessioned 2012-10-04T09:36:45Z
dc.date.available 2012-10-04T09:36:45Z
dc.date.issued 2006-10
dc.identifier.citation Ssekibuule, R. (2006). Model-based testing of network security protocols in Java card applications. Unpublished master's thesis, Radboud University Nijmegen en_US
dc.identifier.uri http://hdl.handle.net/10570/782
dc.description Master's thesis, Radboud University Nijmegen. en_US
dc.description.abstract This research presents a combination of verification and conformance testing techniques for systems that implement network security protocols. We investigate model-based methods for detecting vulnerabilities in network security protocols and testing for correct behavior of Java Card applications in which network security protocols are implemented. The research assumes an open environment which is insecure in which adversaries might try to gain access to restricted resources. We present techniques for model-based testing of network security protocols in Java Card applications and analyse the use and effectiveness of verification in addition to conformance testing in enhancing the quality of a software product. We analyse the use of HLPSL in modelling Kerberos network authentication protocol in an electronic banking (E-Banking) application and also use of promela in modelling behaviour of an electronic passport (EPassport). We present benefits and challenges of performing verification and conformance testing of software application using formal specifications. en_US
dc.language.iso en en_US
dc.relation.ispartofseries Script Number;558
dc.subject Security prorocols en_US
dc.subject Network security en_US
dc.subject Javacard en_US
dc.title Model-based testing of network security protocols in Java card applications en_US
dc.type Thesis, masters en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record