This is an archived page and is no longer updated.
Current content of Prof. Ladkin's research group is available at https://rvs-bi.de/

RVS-Lehrveranstaltungen - Wintersemester 2004/2005

Inhalt

Strengthening Security
Digitale Kommunikation und Internetdienste I Vorlesung
Digitale Kommunikation und Internetdienste I Übungen
System Safety und Security: Vorlesung
System Safety und Security: Begleitseminar


Strengthening Security

Seminar-Beleg-Nr.: 39 21 72 (eKVV-Eintrag)
Uhrzeit und Raum: 10-12 in C0-259
Seminar-Beginn: Mittwoch 27.10.2004, 10-12 Uhr in C0-259
Bermerkung: Die Teilnehmeranzahl ist auf 8 begrenzt, mindestens 4 TeilnehmerInnen. Sprache: English und Deutsch
Anmeldung: bitte email an I Made Wiryana und Avinanta Tarigan

Security is more than just cryptography and patching vulnerability against exploit. In this seminar we try to explore one of important aspects of strengthening security: analysing system security in which we emphasize in verification of cryptographic protocol and analysis of security incident. The aim is to introduce verification method of cryptographic protocol as one of important effort in stengthening security, as well as analysis on security system using WBA, Attack Graph-Attack Tree, and model checker for verification.

Vorstellung & Beschreibung ( Vorstellung | Beschreibung)
Collection of papers (local copy) can be found in on http://antareja.rvs.uni-bielefeld.de/~made/Seminar/



Digitale Kommunikation und Internetdienste I

Vorlesungs-Beleg-Nr.: 39 30 02 (eKVV-Eintrag)
Übungs-Beleg-Nr.: 39 30 05 (eKVV-Eintrag)
Vorlesungs-Beginn: Donnerstag 14.10.2004, 12-14 Uhr in C0-259
Übungs-Beginn: Gruppe 1 am Donnerstag, 28.10.2004, 16-18 Uhr in C0-259, bei Bedarf Gruppe 2 am Freitag, 29.10.2004, 16-18 Uhr in C0-259

Die Lehrveranstaltung führt in die grundlegenden Techniken und Anwendungen des Internet ein. Um die vielfältigen Möglichkeiten und Potentiale des Internet optimal nutzen zu können, bedarf es eines tiefen Verständnisses der technischen Grundlagen des Internet und der Konzepte des World Wide Web. Die Erarbeitung dieser Grundlagen ist Ziel der Vorlesung. Die Inhalte des Teil I umfassen dabei hauptsächlich die Internet Protokolle (z.B. TCP/IP). Die Internet Dienste (z.B. WWW, E-Mail, FTP), sowie auch Anwendungen des World Wide Web (z.B. Suchmaschinen) werden auch kurz vorgestellt. Die Veranstaltung richtet sich an die Studierenden des Studiengangs Mediengestaltung. InteressentInnen anderer Studiengänge werden gebeten, sich mit dem Veranstalter in Verbindung zu setzen.
Begleitmaterialien zur Veranstaltung werden auf der DKI Webseite veröffentlicht.

Literatur:


System Safety und Security: Vorlesung

Vorlesungs-Beleg-Nr.: 39 21 43 (eKVV-Eintrag)
Vorlesungs-Beginn: Freitag, 15.10.2004, 10-12 Uhr in C0-259

Diese Vorlesung wird in dem Inhalt von dem Buch Causal System Analysis von Prof. Ladkin basiert. Teile von dem Buch sind schon als Industrie-Tutorium und Konferenz-Beriträge geführt worden. Vier Kopien des Buches befinden sich im Semester-Apparat.

Die Methode Causal System Analysis ist eine Methode der kausalen Analyse der Funktionsweise und der Funktionsfähigkeit komplexer technologischen Systemen. Why-Because Analysis ist eine Methode der kausale Erklärung von Unfälle und Vorfälle komplexer Systemen und ist ein Teil der CSA. Die Methode ist schon im industriellen Einsatz. Die Vorlesung bietet eine Einführung in die CSA und WBA an.

Die Motivation für die Vorlesung sowie für das Begleitseminar lautet wie folgt. Komplexe Systeme beinhalten oft nicht nur digitale Komponenten (Software und Hardware) sondern physikalische, prozedurale und menschliche Komponenten. Beispiele sind Verkehrssysteme wie die kommerzielle Luftfahrt, die Bahn, und das Internet. Kleinere Beispiele findet man in Autos und Kommunikationssysteme. Solche Systeme müssen in der Regel bestimmte Zuverlässigkeits- sowie Sicherheitsbedingungen erfüllen. Trotzdem läuft alles manchmal schief bis zum Absturz. Methoden, wie in diesem Seminar vorgestellt, für die Sicherheitsanalyse solcher Systeme sind wichtig und von den Hersteller der Systeme oftmals pflichtweise verwendet werden.

Literatur
Die Literatur besteht aus dem Buch Causal System Analysis. Vier Kopien des Buches befinden sich im Semester-Apparat. Ausserdem liegen Teile des Buches auf unseren WWW-Seiten unter Publications, im Buch Why-Because Analysis, RVS-Bk-98-01 sowie im Notes on the Foundations of System Safety and Risk, RVS-Bk-00-01, bei www.rvs.uni-bielefeld.de. Asserdem sind sämtliche Papers auf den Seiten auch relevant. Ausserdem findet man eine Menge von Beispiele von Systemproblemen in dem Buch


System Safety und Security: Begleitseminar

Seminar-Beleg-Nr.: 39 21 71 (eKVV-Eintrag)
Seminar-Beginn: Freitag, 15.10.2004, 14-16 Uhr in C0-259

Das Begleitseminar bietet die praktische Möglichkeit an, Why-Because Analyse selbst anzuwenden. Die Seminarteilnehmer werden in Gruppen von 4-5 Personen geteilt und jeder Gruppe wird selbst eine WBA von einem bekannten Unfall mit Hilfe unseren Darstellungs- Tools durchführen. Die Ergebnisse der erfolgreichen Analyse dieser Art von Seminarteilnehmer im WS2002/3 und SS2003 sind schon in der Bieleschweig Workshopreihe vorgetragen worden. Siehe die RVS-Homepage für mehrere Detailles über die Bieleschweig Workshops.