Einführung in Trusted Systems

Aus Studienführer

Allgemeines

Veranstaltung:	Einführung in Trusted Systems	Angebotsturnus:	jedes WS
SWS:	V3	Sprache:	deutsch
Prüfung/Dauer:	schriftlich (120 min) oder mündlich	Creditpoints (CP):	4
Vorgesehenes Semester:	B5	Homepage:	http://www.ke.informatik.tu-darmstadt.de/lehre/
Vorlesungsverzeichnis:	Suche (Angebotsturnus beachten)	Prüfungscode:	120050
Begleitende Unterlagen:
Übungsklausuren:

Dozent:	Karsten Weihe
	Gebäude/Raum:	S2/02 -
	e-Mail:






Betreuender Assistent:
	Gebäude/Raum:
	e-Mail:

Voraussetzungen und Studienleistungen

Grundlagen der Informatik I, Grundlagen der Informatik II

Vorlesungsinhalte und Lernziele

Vertiefte, umfassende, vernetzte, alle relevanten Aspekte umfassende Schwerpunktkompetenz (Theorie und Praxis) in einem grundlegenden Aspekt der modernen Informatik Überblick gewinnen über wesentliche Konzepte, Methoden und Modelle im Bereich Trusted Computing Kenntnisse erwerben über grundlegende Methoden in den Bereichen Sicherheit und Zuverlässigkeit, deren Gemeinsamkeiten und Unterschiede Fähigkeit zur Anwendung von Methoden und Konzeptwissen auf konkrete Anwendungsszenarien

Vorlesungsinhalte:

Grundlegende Begriffe
Security-, Safety-Eigenschaften
Fehlerbegriffe
Security Engineering und Modellierung von Trusted Systems
Entwicklungsprozess
Sicherheitsmodelle
Modellierung zuverlässiger Systeme
Basiskonzepte und -verfahren
Kryptografische Verfahren und Kryptoanalyse-Techniken
Hashfunktionen u. elektronische Signaturen
Schlüsselmanagement
Authentifikation
Rechteverwaltung
Replikations- und Redundanzverfahren
Checkpointing
Grundlegende Techniken zur Verifikation von Hard- und Software
Testverfahren
Formale Modellierung und Verifikation
Formale Modellierung von Sicherheitszielen: Integrität, Authentizität, Vertraulichkeit,
Unabstreitbarkeit, ...
Formale Modellierung von Protokollen: Authentifikation, Transaktion
Formale Verifikation
BAN-Logik
Model-Checking
Inductive Traces
Strand Spaces
Sicherheit in Netzen
Grundlegende Sicherheitsprobleme im Internet
Firewall-Konzepte und -Architekturen
Aufbau eines Virtual Private Networks (VPN)
Sichere Kommunikation (z.B. SSL)
Fallstudien:
- Einsatz der Methoden und Verfahren anhand praktischer Beispiele (z.B. Smartcards)
- Ansätze/Methoden/Modelle zur formalen Verifikation (Security und Safety Eigenschaften)

Lehrmaterial

C. Eckert: IT-Sicherheit, 3. Auflage, Oldenbourg-Verlag, 2004
J. Buchmann: Einführung in die Kryptographie 2.erw. Auflage, Springer-Verlag, 2001
D.K. Pradhan: Fault Tolerant Computer System Design, Prentice Hall, 1996

Studiengänge

BSc ETiT