Priority Programme 1079 of the German Research Foundation "Security in Information and Communication...
1
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 Networking Uni Rostock, Uni Duisburg-Essen, IPSI •Secure Operating System TU München • Security Policies TU 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 Verification DFKI, Uni Augsburg • Usability for Security Tools Uni Freiburg • Cryptography TU Darmstadt, TH Karlsruhe Security Goals 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
-
Upload
sven-wohlgemuth -
Category
Science
-
view
33 -
download
2
Transcript of Priority Programme 1079 of the German Research Foundation "Security in Information and Communication...
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
