VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.
Formal Methods for Information Security
Last Updated: 2026-02-05 14:57:21
Content
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: - basics of formal methods for security (principles and techniques); - modeling, design and verification of security protocols and systems; - access control and security models; - information flow control; - language-based security; - security in distributed systems/secure middleware.
Resources
Lecture Notes
Various journal/conference papers.
Literature
- Matt Bishop: Computer Security, Pearson Education, 2003. - Dieter Gollmann: Computer Security, Wiley, 2000. - Charlie Kaufman, Radia Perlman, Mike Speciner: Network Security, Private Communication in a Public World, Prentice Hall, 2002. - Wenbo Mao: Modern Cryptography, Prentice Hall, 2003. - Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone: Handbook of Applied Cryptography, CRC Press, 1996 (available online). - Bruce Schneier: Applied Cryptography, John Wiley & Sons, 1996. - William Stallings: Cryptography and Network Security, Principles and Practice, 3rd ed. Prentice Hall, 2003. - Various journal/conference papers.
General Information
- Language
- English
- Frequency
- Yearly recurring
Examination
- Type
- session examination
- Mode
- oral 30 minutes
Course Components
| Type | Title | Time & Place | Hours |
|---|---|---|---|
| lecture | Formal Methods for Information Security |
|
2 h weekly |
| exercise | Formal Methods for Information Security |
|
2 h weekly |