Quantitative Aspects of Security
Description This seminar will cover quantitative aspects of information security. For each topic, we will provide a recent scientific article.
Registration Central registration for Computer Science seminars.
Date Blockseminar in January/February. The precise date will be decided soon.
Format S2
Classification Applied Informatics/Theoretical Informatics
Language English
Organizers Prof. Dr. Ir. Joost-Pieter Katoen, Prof. Dr.-Ing. Heiko Mantel
Prerequisites
- interest in the area of Information Security
- motivation to thoroughly read scientific articles
- one of the following courses:
- Formal Methods for Information Security (SS'06)
- Model Checking (WS'05/06)
- Probabilistic Models for Concurrency (SS'06)
Literature Will be announced at the introductory meeting.
Further information Send an e-mail to katoen at cs.rwth-aachen.de or to mantel at cs.rwth-aachen.de
Internal Section (password protected)
Content managed by the Etomite Content Management System.