LS IV, AG RvS: Lehrveranstaltungen im SS 2010

Die vollständigen Beschreibungen der Veranstaltungen finden sich in den Modulhandbüchern.

Spezialvorlesung (Nr. 042409, 2 SWS)

Sicherheit im Netz 2 (SiN2)

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

Inhalt: Die Vorlesung Sicherheit im Netz 2 bildet den 2. Teil des Moduls "Sicherheit im Netz". Die Vorlesung behandelt die grundlegenden Themenfelder aus dem Gebiet der ergänzenden Sicherheitsdienste vernetzter Systeme. Sie führt in Signatursysteme und Infrastrukturen ein, behandelt Protokolle zur sicheren Kommunikation, die Bildung Virtueller privater Netze, Sicherheitsaspekte und Mechanismen verteilter Anwendungen sowie das technische Sicherheitsmanagement.

Hörer:Masterstudiengänge Informatik sowie Kerninformatiker und Ingenieurinformatiker nach dem Vordiplom
Voraussetzungen: Kenntnisse des Aufbaus und der Funktionsweise von Rechnernetzen, z.B. Grundvorlesung 'Rechnernetze und verteilte Systeme', Sicherheit im Netz 1
Literatur: Die Vorlesungsfolien sind Im Netz verfügbar. Sie enthalten Literaturverweise zu den speziellen Themengebieten.
William Stallings: Network Security Essentials, Prentice Hall, 2003.
Claudia Eckert: IT-Sicherheit, Oldenburg Verlag, 2004.

Spezialvorlesung (Nr. 042403, 2 SWS)

Verteilte Algorithmen I (VA 1)

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

Inhalt: Verteilte Algorithmen werden von zueinander entfernten Stationen zur Lösung eines gemeinsamen Problems ausgeführt. Die Stationen arbeiten nebenläufig und können nur mittels Telekommunikation kommunizieren. Deshalb ist Funktionsweise der Algorithmen in der Regel schwer zu verstehen. Beim Entwurf stellen sich gerne Entwurfsfehler ein. Die Vorlesung soll vor diesem Hintergrund die wesentlichen Funktionsprinzipien verteilter Algorithmen sowie praktikable Verfahren zur formalen funktionellen Spezifikation, Modellierung und Verifikation vermitteln.
Es werden folgende Themen behandelt:
- Prinzipien verteilter Algorithmen,
- Beispielalgorithmen,
- formale Modellierung verteilter Systeme als Zustandstransitionssysteme,
- Korrektheit, Safety und Liveness,
- Korrektheitsbeweise,
- Spezifikation mit TLA und modulare Spezifikationen.
Die Vorlesung soll im WS10/11 mit der Vorlesung "Verteilte Algorithmen II" fortgesetzt werden.

Hörer: Masterstudiengänge Informatik sowie Kerninformatiker und Ingenieurinformatiker nach dem Vordiplom
Voraussetzungen: Kenntnisse des Aufbaus und der Funktionsweise von Rechnernetzen, z.B. Grundvorlesung 'Betriebssysteme, Rechnernetze und verteilte Systeme'
Literatur: Literaturhinweise werden im Verlauf der Vorlesung und auf den Folien 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!

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

Übungen zu Verteilte Algorithmen I (Ü-VA 1)

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 I werden Beispiele zu den Vorlesungsinhalten behandelt. Insbesondere soll geübt werden, wie verteilte Abläufe modelliert werden können, und wie man an Hand der Modelle formal funktionelle Eigenschaften nachweist.
Die Übungen werden zur Vertiefung der Vorlesung empfohlen, bzw. sind fester Bestandteil des Mastermoduls.

Nr.: 041417, Seminar im SS 2010, 2.0 SWS

Verteilte autonome Systeme

Dozent: Heiko Krumm
Termin zur Vorbesprechung und Themenvergabe: Donnerstag, 15.4.2010, 14:15-16:00 Uhr,
Raum: GB V / 420

Kommentar: Moderne vernetzte Systeme haben immer stärker den Charakter verteilter autonomer Systeme, welche aus Komponenten und/oder Teilsystemen bestehen, die zwar selbständig agieren, aber auch kooperationsfähig und -bereit sind, so dass flexible, veränderliche Systemstrukturen entstehen. Die Systeme passen sich an sich ändernde Aufgaben und Bedingungen an. Sie verwalten sich selbst und sind auch in der Lage, Besonderheiten zu erkennen und zu behandeln.
Im Seminar werden neuere Ansätze aus diesem Bereich anhand aktueller Literaturstellen behandelt.

Jeder Teilnehmer soll ein Thema - wie folgt - bearbeiten:

1. Literatur beschaffen, einlesen, verstehen, Verständnisfragen mit dem Betreuer klären

2. Schriftliche Ausarbeitung zum Thema (ca. 10 Seiten) in der Art eines Fachartikels:
Gliederung erarbeiten und mit Betreuer abstimmen, schreiben, korrigieren

3. Vortrag zum Thema, foliengestützt, am besten Powerpoint-Folien mit Skizzen, nicht nur Stichwörter, ca. 40 Minuten: Gliederung erarbeiten und mit Betreuer abstimmen, Folien entwerfen, korrigieren, Vortrag halten, Diskussion zum Thema mit den Teilnehmern

Bemerkung: Das Seminar findet als Blockseminar an 2 Tagen in der ersten Woche der Sommerferien statt.
Zu Beginn der Vorlesungszeit, in der Vorbesprechung, findet die Themenvergabe statt.
Während der Vorlesungszeit werden die Teilnehmer bei der Themenbearbeitung betreut.
Literatur: Einstiegsliteratur wird bei der Themenvergabe angegeben. Das Suchen und Finden weitergehender Literatur ist Aufgabe der Teilnehmer.
Voraussetzungen: Kenntnisse und Interesse zu Rechnernetzen und verteilten Systemen.
Leistungsnachweis: Voraussetzung zur Vergabe des Leistungsnachweises ist je Teilnehmer die erfolgreiche Bearbeitung seines Themas.
Sie umfasst:
- Literaturrecherche,
- Abstimmen der Themenbearbeitung mit dem Veranstalter,
- Verfassen der Ausarbeitung zum Thema,
- Teilnahme am Blockseminar,
- Erstellen der Präsentation des Themas,
- Vortrag zum Thema im Blockseminar,
- Diskussion des Themas mit den Teilnehmern.

Heiko Krumm, 9.2.2010, Informatik IV, TU Dortmund