Formal Methods for Information Security

Aus VISki
Wechseln zu: Navigation, Suche

This is a focus subject for the Information Security Track. The following information is as of HS09.

Overview

Lecturers
Sebastian Mödersheim, Christoph Sprenger
Prerequisites
None, but some Information Security is recommended
Material
Slides
Exercises
The weekly excercises are optional.

OFMC

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.

Summaries

Exams

Additional Material

Literature