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)