Martijn Oostdijk (KUN)

Specification and Implementation of Formally Verifiable Security Protocols

This talk presents some case studies in refining abstract security protocols to concrete smart card applications. We show how the implementations can be specified in JML and we introduce some of the tools that make formal verification feasible.  

---

Last Version - $Revision: 1.1 $ / $Date: 2002/11/12 11:56:56 $
Maintained by Jaap-Henk Hoepman
Email: