Description in the RWTH CAMPUS System
Exam Thursday, July 6th, starts at 9 am
Lecturer Prof. Dr. Ing. Heiko Mantel
Description The course will survey the formal approaches that have been proposed for the specification and verification of information security. We will discuss the principles and techniques underlying formal methods for the analysis of security-sensitive systems and applications, covering topics such as: