Browsing College of Computing and Information Sciences (CoCIS) by Title "Model-based testing of network security protocols in Java card applications"
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 ...