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/
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:
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
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.