Priority Programme 1079 of the German Research Foundation

“Security in Information and Communication Technology”

Security in Information and

Communication Technology

From secure mechanisms… … towards secure systems

Applications

•Digital Wallet Uni Gießen

• Anonymity services TU Dresden, RWTH Aachen

• Identity Management Uni Freiburg

Infrastructure

•Secure NetworkingUni Rostock, Uni Duisburg-Essen, IPSI

•Secure Operating SystemTU München

• Security PoliciesTU München, FU Berlin

• Privacy-preserving Intrusion Detection BTU Cottbus, Uni Dortmund

Prototype of secure system:

(shown at CeBit 2003)

Scenario:Buying a digital railway ticket with a

mobile device over radio within a train.

Methods

•Formal Software VerificationDFKI, Uni Augsburg

• Usability for Security ToolsUni Freiburg

• CryptographyTU Darmstadt, TH Karlsruhe

Se

cu

rity

Go

als

Lead:

Prof. Dr. Günter Müller

Maike Gilliot Albert-Ludwigs-Universität Freiburg

Sven Wohlgemuth Institute of Computer Science and Social Studies

Department of Telematics

http://www.telematik.uni-freiburg.de

Approach:

Participating Universities and Research Institutes:

Development of Secure Systems:

• Secure mechanisms

• Secure systems

• Methods for development, assessment and deployment for secure systems