[ main | cases | smart cards | formal methods | schedule | deliverables ]
Welcome to the 2006 edition of the OOTI course Formal Methods in the Software Life Cycle (2Q206).
For unclear reasons, the card simulator in Eclipse plugin does not work for RMI applications. Please relie on a real card instead.
The aim of this course is to do some fun programming using Java Card smart cards, and to use a variety of state-of-the-art techniques for formal specification and analysis, both for the security protocols that will be implemented using smart cards, and for the Java (Card) source code of the actual implementations.
More background information on the smart card technology and the formal methods that you will be using is available.
The course is taught by Jing Pan and Erik de Vink of the ECSS group at Eindhoven University of Technology, and Engelbert Hubbers, Wojtek Mostowski, Martijn Oostdijk, and Erik Poll of the SoS group at the University of Nijmegen.
|
|
|
|
|
|
In groups of 4 or 5 people you will develop a Java (Card) application that uses smart cards. As part of the development process some techniques for formal specification and analysis will be applied. The applications will be made to run on actual smart cards. There are four case studies for the groups to choose from.
Weekly lectures, usually on Mondays, introduce the required background knowledge for the languages, methods, and tools to be used.
A detailed schedule (including slides of presentations) is available. More information, e.g. about the assignments etc., will be made available in due course.