Joachim van den Berg(TNO TPD)

Formal evaluation of Java Card smart cards

This talk starts by introducing TNO EIB as a security lab that acts in the field of information security. Within TNO EIB, a couple of people are working on testing the security of Java Card smart cards. As a future Common Criteria lab, TNO EIB might offer formal verification methods for EAL6/7 evaluations for Java Card smart cards. However, the formal models developed by researchers at universities are not sufficient to serve the industries' needs. By means of examples it is illustrated in which respect the models need to be improved to make them suitable for formal evaluations.  

---

Last Version - $Revision: 1.1 $ / $Date: 2003/11/18 16:38:31 $
Maintained by Jaap-Henk Hoepman
Email: