Institute for Theoretical Computer Science

Classification and Contents
Title	Modellierung und Analyse von Sicherheitseigenschaften
Lecturer	Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz
Classification	Teil des Vertiefungsmoduls Sicherheit von Daten und Kommunikation CS 4506 Master Informatik mit AF IT-Sicherheit, Pflicht Master Informatik und Master EdT, Wahlpflicht Master Medizinische Informatik, (eigenständiges Wahlpflicht-Modul
Contents
Recommended Books


Lecturer	Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz , Benito van der Zander M.Sc.
Credits	4 SWS
Dates:

Staff Overview