Spezialvorlesung (Nr. 042407, 2 SWS)

Sicherheit im Netz I  (SiN 1)

Zeit und Ort:
Montag, 10:15-12:00 Uhr, Campus Süd, GB V, HS 113

Dozent:
Heiko Krumm

Inhalt:
Durch die wachsende Vernetzung werden die Sicherheitsziele von IT-Systemen gefährdet und nicht immer sind es nur sogenannte Hacker, die vorwiegend spektakuläre Angriffe ausführen. Auch lässt sich IT-Sicherheit nicht auf die Wahl der "richtigen" Verschlüsselung und Schlüsselverteilung reduzieren. Sicherheit, und ganz besonders die Sicherheit vernetzter Systeme, bedarf weitergehender Maßnahmen und will darüber hinaus kontinuierlich gepflegt werden.
Die Vorlesung gibt eine kurze Übersicht über IT-Sicherheit und behandelt die für die praktische Sicherheit vernetzter Systeme wesentlichen Themengebiete der Kommunikation und Angriffe im Netz, der Firewalls, der Intrusion Detection Systeme, der verteilten Authentifikationssysteme sowie der Gestaltung von Authentifikationssystemen und Authentifikationsprotokollen.
Die Studierenden sollen erkennen können, welche speziellen Sicherheitsziel-Bedrohungen in vernetzten IT-Systemen bestehen, und sie sollen die darauf ausgerichteten Sicherheitsdienste und Schutzmaßnahmen kennen gelernt haben. Sie sollen in der Lage sein, in gegebenen vernetzten IT-Systemen vorhandene Vernetzungs-bezogene Schwachstellen und Bedrohungen zu identifizieren, passende Sicherheitsdienste und Schutzmaßnahmen zu planen, sie in ein Sicherheitskonzept zu integrieren und es praktisch durch adäquate Konfiguration der Elemente umzusetzen.
Die Vorlesung wird durch die Vorlesung SiN2 fortgesetzt, die weitere Maßnahmen und Ansätze vorstellen wird.

Hörer:
Kerninformatiker und Ingenieurinformatiker nach dem Vordiplom

Voraussetzungen:
Kenntnisse des Aufbaus und der Funktionsweise von Rechnernetzen

Literatur:
W. Stallings: Network Security Essentials, 2nd ed., Pearson Inc., 2003.
Weitere Literaturhinweise werden im Verlauf der Vorlesung gegeben.
Die Folien zur Vorlesung werden zum Download im WWW bereit gestellt.


Spezialvorlesung (Nr. 042415, 2 SWS)

Verteilte Algorithmen II  (VA 2)

Zeit und Ort:
Dienstag, 10:15-12:00 Uhr, Campus Süd, GB V, HS 113

Dozent:
Heiko Krumm

Inhalt:
Die Spezialvorlesung Verteilte Algorithmen II setzt Verteilte Algorithmen I fort. Die dort eingeführte leicht verständliche und praktikable Beschreibungstechnik wird zu Beginn noch einmal aber nun aus sehr pragmatischer Sicht vorgestellt werden, so dass es sich zwar nicht um eine Wiederholung handelt, dass aber auch ein Einsteigen in Verteilte Algorithmen II, ohne Verteilte Algorithmen I gehört zu haben, möglich ist.
Im weiteren werden verteilte Algorithmen behandelt mit dem Ziel, die Algorithmen an sich vorzustellen, d.h. ihre konkrete Funktionsweise und die mit ihnen verteilt lösbaren Aufgaben (z.B. Erzeugung konsistenter Sichten, Synchronisation verteilter Partner, eindeutige Aufgaben-Zuteilung, faire Zuordnung, global atomare Aktionen) zu erläutern. Es werden wichtige Algorithmenvertreter aus den für den Entwurf praktischer Ortsverbund-Anwendungen wesentlichen Anwendungsfeldern der Kontrolle verteilter Systeme, der Verteilten Datenhaltung, der Erkundung verteilter Systeme und der zuverlässigen Kommunikation in verteilten Systemen erläutert. Die Algorithmen werden hauptsächlich in fortgeschrittenen Peer-to-Peer-Systemen und in verteilten Agentensystemen als Basisalgorithmen eingesetzt.
Die Studierenden sollen einerseits ein praktikables Verfahren zur Spezifikation verteilter Algorithmen kennen lernen, das sie in die Lage versetzt, konkrete verteilte Algorithmen präzise zu beschreiben sowie effizient aus bekannten Bausteinen neue Algorithmen zu entwickeln und zu definieren. Weiterhin sollen sie die wichtigsten verteilten Algorithmen kennen gelernt haben, so dass sie beim Entwurf verteilter Anwendungen in der Lage sind, passende Basisalgorithmen zu identifizieren, anzupassen und einzusetzen.

Hörer:
Kerninformatiker und Ingenieurinformatiker nach dem Vordiplom

Voraussetzungen:
Kenntnisse des Aufbaus und der Funktionsweise von Rechnernetzen,
die Vorlesung Verteilte Algorithmen I ist nicht unbedingt vorausgesetzt

Literatur:
Literaturhinweise werden im Verlauf der Vorlesung gegeben.
Siehe auch unter http://ls4-www.informatik.uni-dortmund.de/RVS/MA/hk/OrdnerVertAlgo/Litera.html
Die Folien zur Vorlesung werden zum Download im WWW bereit gestellt.

Es finden Übungen statt!


Spezialvorlesung (2 SWS, Nr. 042405)

Rechnernetzanwendungen (RNA)

Zeit und Ort:
Mittwoch, 10.15-12.00 Uhr; Campus Süd, GB V, HS 113

Dozent:
Heiko Krumm

Inhalt:
Der Begriff 'Rechnernetzanwendungen' bezeichnet Anwendungen, die aus mehreren, auf verschiedenen Stationen eines Rechnernetzes lokalisierten Komponenten bestehen. Besondere Bedeutung haben Ortsverbund-Anwendungen, die auch im Fokus der Vorlesung liegen. Hier ist die örtliche Verteilung und Zuordnung der Komponenten direkt ein Teil des Anwendungsproblems. Zur erleichterten Entwicklung werden Architektur-Paradigmen und Middleware-Plattformen vorgeschlagen. Paradigmen prägen den Entwurf. Middleware unterstützt die Implementierung mit Unterstützungsfunktionen.
Die Vorlesung behandelt die wesentlichen Aspekte der detaillierten Architektur verteilter Anwendungen mit den Themenbereichen Kommunikation, Prozesse und Komponenten, Naming and Binding, Zuverlässigkeit, Verteilte Objektsysteme, Verteilte Koordination und Middleware Plattformen. Die Techniken unterstützen die Bildung flexibler und offener verteilter Systeme. Weiterhin werden die für die aktuelle Entwicklungspraxis verteilter Anwendungen wichtigen Unterstützungssysteme vorgestellt.

Hörer:
Kerninformatiker und Ingenieurinformatiker nach dem Vordiplom

Voraussetzungen:
Kenntnisse des Aufbaus und der Funktionsweise von Rechnernetzen

Literatur:
als Textbuch:
A. Tanenbaum, M. van Steen: Verteilte Systeme. Pearson Studium, 2003.
ergänzend:
U. Hammerschall: Verteilte Systeme und Anwendungen. Pearson Studium, 2005.
Die Folien werden zum Download im WWW bereitgestellt.


Übung zur Spezialvorlesung (2 SWS, Nr. 042416)

Übungen zu Verteilte Algorithmen II (Ü-VA 2)

Zeit und Ort:
Donnerstag, 10.15-12.00 Uhr, Campus Süd, GB V, SR 420

Dozent:
Heiko Krumm

Inhalt:
In den Übungen zur Spezialvorlesung Verteilte Algorithmen II werden Algorithmenbeispiele entworfen, modelliert und funktionell analysiert.
Die Übungen werden zur Vertiefung der Vorlesung empfohlen.


Heiko Krumm, 21.1.2008, Informatik IV, TU Dortmund