Institute for Theoretical Computer Science

Classification and Contents
Title	Modellierung und Analyse von Sicherheitseigenschaften
Lecturer	Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz
Classification	Master Informatik mit AF IT-Sicherheit, (1.-2. Fachsemester, Pflicht) Master Informatik, Teil des Vertiefungsmoduls CS4506 Datensicherheit (1.-3. Fachsemester) Master Medizinische Informatik, (1. oder 2. Fachsemester, Wahlpflicht)
Contents
Recommended Books


Lecturer	Prof. Dr. R. Reischuk , Prof. Dr. M. Liskiewicz , Matthias Lutter M.Sc.
Credits	4 SWS
Dates:

Staff Overview