Formal Methods for Information Security
This is a focus subject for the Information Security Track. The following information is as of HS09.
- Sebastian Mödersheim, Christoph Sprenger
- None, but some Information Security is recommended
- The weekly excercises are optional.
The lecture is strongly based on methods used in the OFMC security model checker by Sebastian Mödersheim. The tool is used for the excercises.