20-00-0362-iv Formal Methods for Information Security

Instructors: Prof. Dr.-Ing. Heiko Mantel

Event type: Integrated Course

Org-unit: Dept. 20 - Computer Science

Displayed in timetable as: Formale Methoden der

Subject:

Crediting for:

Hours per week: 6

Language of instruction: German

Min. | Max. participants: - | -

Course Contents:
- formal modeling of security-critical systems in predicate logic
- theoretical foundations of access control and information-flow control
- formal modeling of security properties in predicate logic
- distinction between qualitative and quantitative security properties
- decidability and complexity results for security properties
- verification of security guarantees in distributed systems
- impact of stepwise composition and refinement on security guarantees
- formal languages for specifying security policies and their semantics
- certification of security-critical systems

Literature:
- M. Bishop: Computer Security, Addison-Wesley
- J. Biskup: Security in Computing Systems, Springer-Verlag
- C. P. Pfleeger, S. L. Pfleeger: Security in Computing, Prentice Hall
- D. Denning: Cryptography and Data Security, Addison Wesley

Literature recommendations will be updatet regularly.

Preconditions:
Knowledge within Computer Science and Mathematics according 1-4 semester of B.Sc. Computer Science.