![]() |
Stammvorlesung: SicherheitSommersemester 2007Dieter Hutter und Werner Stephan |
![]() |
This course on security introduces into the basic concepts, the technologies and methodologies and the applications of IT-security. We start with an introduction into the general aspects of a multiliteral security like for instance secrecy, integrity, or availability. Futhermore, we analyse various security techniques like cryptographical approaches, security protocols, and security policies and introduce in approaches of network security (e.g. intrusion detection systems, mixes, firewalls). Another part of the course will be devoted to the area of security engineering. We address the several phases of security engineering, illustrate techniques for risk/threat analysis and security measures and outline official criteria for IT-security (ITSEC, CC). Finally we present applications of the presented techniques in the areas of, for instance, electronic commerce, mobile phones or public key infrastructure.
Group G1 (tutor: Christopher Krauss ), mondays 2 - 4pm, Hörsaal III, building E2.5 . Solutions to the exercises can be in German or English and the exercise course will be held in German.
Group G2 (tutor: Steffen Metzger ), mondays 4 - 6pm, Hörsaal III, building E2.5 . Solutions to the exercises can be in German or English and the language of the exercise course (German or English) will be decided depending on whether some participants do not understand German.
Group G3 (tutor: Roxana Ragneala ), tuesdays 4 - 6pm, Zeichensaal (H07), building E2.5 . Solutions to the exercises must be in English and the exercise course will be held in English.
If you did not register to a exercise group in the lecture of friday the 27-th of April, send an e-mail to Lassaad Cheikhrouhou containing your first and family name, your registration number (Matrikelnummer) and the list of the three group numbers in your preferred order. The response of your e-mail will contain the number of your exercise group.Registration to this course will be possible during all the security lectures in May (room HS 002 in building E 13).
The slides will be available as PowerPoint presentations and in PDF-format also. There are public-domain viewers for PowerPoint presentations available (distributed by Microsoft and OpenOffice) at:
| 18/20.4.2007 | Introduction | ppt | |
| 25/27.4.2007 | Cryptography (Basics) | ppt | |
| 2/4/9.5.2007 | Cryptographic Protocols | ppt | |
| 11/16/23.5.2007 | Formal Analysis of Cryptographic Protocols (Strand Spaces) | ppt | |
| 23/25.5.2007 | Formal Analysis of Cryptographic Protocols (Inductive Approach)-I | ppt | |
| 25/30.5.2007 | Formal Analysis of Cryptographic Protocols (Inductive Approach)-II | ppt | |
| 1/6/8.6.2007 | Access Control | ppt | |
| 13/15.6.2007 | Information Flow Control | ppt | |
| 13/15.6.2007 | Handout (Information Flow Control) | ||
| 20/22.6.2007 | Possibilistic Information Flow Control | ppt | |
| 27/++.6.2007 | Proof Carrying Code | ppt | |
| 27/++.6.2007 | Floyd Paper | ||
| 4.7.2007 | Network Security | ppt | |
| 6.7.2007 | Quantum Cryptography | ppt | |
| 18/20.7.2007 | Security Engineering | ppt | |
| 18/20.7.2007 | Public Key Infrastructures | ppt |
(available in the computer science library)