Search
Now showing items 1-1 of 1
Model-based testing of network security protocols in Java card applications
(2006-10)
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 ...