Bösartige Agenten

Stammvorlesung: Sicherheit

Sommersemester 2007

Dieter Hutter und Werner Stephan

Bösartige Plattform

This WWW page gives you a short overview on our course on security and saftey. Also it provides actual information about the course and additional material.


NEWS:



Content:

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.


Outline:


Dates:


Registration:

Registration to this course will be possible during all the security lectures in May (room HS 002 in building E 13).


Examination


Slides of the course:

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:

. You may also want to download the TeX-fonts used in the slides here

18/20.4.2007 Introduction ppt pdf
25/27.4.2007 Cryptography (Basics) ppt pdf
2/4/9.5.2007 Cryptographic Protocols ppt pdf
11/16/23.5.2007 Formal Analysis of Cryptographic Protocols (Strand Spaces) ppt pdf
23/25.5.2007 Formal Analysis of Cryptographic Protocols (Inductive Approach)-I ppt pdf
25/30.5.2007 Formal Analysis of Cryptographic Protocols (Inductive Approach)-II ppt pdf
1/6/8.6.2007 Access Control ppt pdf
13/15.6.2007 Information Flow Control ppt pdf
13/15.6.2007 Handout (Information Flow Control) pdf
20/22.6.2007 Possibilistic Information Flow Control ppt pdf
27/++.6.2007 Proof Carrying Code ppt pdf
27/++.6.2007 Floyd Paper pdf
4.7.2007 Network Security ppt pdf
6.7.2007 Quantum Cryptography ppt pdf
18/20.7.2007 Security Engineering ppt pdf
18/20.7.2007 Public Key Infrastructures ppt pdf
         

Literature:

(available in the computer science library)