RVS-Lehrveranstaltungen, Sommersemester 2004

Inhalt

System Safety and Security II
System Safety and Security II : Begleitseminar
Netzwerke, ihre Architektur und Leistung (Projekt)
VerSys und SysSafe (Projekt)
Internet Werkzeuge und Dienste: Teil B
Themen in Netzwerksicherheit, Elearning und System Safety (Seminar)
Strenthening Security

System Safety und Security: Vorlesung II

Beleg-Nr.: 39 21 45
Vorlesungs--Beginn: Fri 23.04.2004 um 10.00 c.t. bis 12:00 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 Abstürz. 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

Computer-Related Risks by Dr. Peter Neumann, Moderator of the RISKS-Forum, (Addison-Wesley, 1995).

System Safety und Security II: Seminar

Beleg-Nr.: 39 21 46
Seminar--Beginn:Fri 23.04.2004 um 10.00 c.t. bis 12:00 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.

Netzwerke, ihre Architektur und Leistung: Projekt

Beleg-Nr.: 39 21 57
Uhrzeit und Raum: folgt, in C0-272

Dieses Projekt bietet die Mölichkeit an, praktische Arbeit mit Netze, Netz-SW und Architektur und ihre Leistung zu schaffen. Neue Themenvorschläge werden diskutiert. Arbeitsthemen, die im Rahmen dieses Projektes in vorherigen Semester geleistet wurde, heissen z.B.

eine Implementierung eines Beowulf-Supercomputing-SW auf einem Cluster von Sparcstations
das Design und Implementierung eines Benutzerfreundlichen Kommunikations-Protokollstack auf Basis von TCP/IP

VerSys und SysSafe: Projekt

Beleg-Nr.: 39 21 58
Uhrzeit und Raum: folgt, in C0-272

Projektthemen in den Bereichen System-Zuverlässigkeit, System-Sicherheit und System-Safety werden angeboten. Arbeitsthemen, die im Rahmen dieses Projektes in vorherigen Semester geleistet wurde, heissen z.B.

die WB-Analyse von Unfall-Beispiele in der Luftfahrt und bei der Deutschen Bahn;
die Entwicklung der SW-Tools fü die Benutzung der Causal Systems Analysis und Why-Because Analysis.

Literatur

Causal System Analysis, von Peter Ladkin Vier Kopien des Buches befinden sich im Semester-Apparat.
Why-Because Analysis: Formal Reasoning About Incidents, Buch (in PS/PDF-Form) von Peter Ladkin und Karsten Loer.

Internet Werkzeuge und Dienst: Teil B

Vorlesungs-Beleg-Nr.: 39 21 44
Vorlesungs--Beginn: Do 22.04.2004, in C0-259

Teilnehmer werden den Kurs über die Lern-Plattform elearn.rvs.uni-bielefeld.de machen. Accounts für Teilnehmer werden eingerichtet und zu den entsprechenden Tutorengruppen zugeordnet.

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 A 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 den VeranstalterInnen in Verbindung zu setzen.

Literatur

Einführung in die Computernetze (Deutsch and English)
, Michael Blume, Heiko Holtkamp, I Made Wiryana, RVS-Bk-02, 7 Mai 1998.
Douglas Comer; Computernetze, Pearson-Studium, 2002.
James Kurose & Keith Ross, Computernetze, Pearson-Studium, 2002
zusätzlich: Andrew S. Tanenbaum, Computer Networks, 4th Edition, Prentice-Hall/Pearson Studium, 2003.

Themen in Netzwerksicherheit, Elearning und System Safety

Beleg-Nr.: 39 21 47
Beginn : Di 20.04.2004
Uhrzeit und Raum: Di 15-17 in C0-272
Bermerkung: Die Teilnehmeranzahl ist auf 8 begrenzt

In diesem Seminar wird die aktuelle Arbeit der RVS-Gruppenteilnehmer vorgestellt. Im letzten Semester wurde eingeführt:

die Kommunikationsplattform Worksphere, die jetzt in kommerziellen Einsatz ist sowie bei elearn.rvs.uni-bielefeld.de;
die Dokument-Darstellungs-SW, die von RVS für das M² Projekt entwickelt worden ist;
die WB-Analyse von unterschiedlichen DNS-Täuschungs-Vorfälle im Internet und ihr Vergleich zur Attack-Tree-Analyse;
Vorschäge zur Erweiterung von der Worksphere-Plattform
die BAN-Logik zur Verifizierung der Sicherheitsprotokollen wie Kerberos, Needham-Schroeder, usw.
die formale Spezifikation, das Design und die Implementierung eines File-Archivierungssystem
die Analyse der allgemeinen Grundbegriffe der Systemtheorie, wie es in der Informatik sowie in der Soziologie, in der Biologie, in der Mathematik, in der Ingenieurswissenschaft und in der Physik eingesetzt worden ist

Strenthening Security : Seminar

Beleg-Nr.:39 21 64
Beginn : Mit 21.04.2004
Uhrzeit und Raum: 10-12 in C0-272
Bermerkung: Die Teilnehmeranzahl ist auf 8 begrenzt, mindesten 4 Tailnehmerinen. Sprache : English und Deutsch

Security is more then just cryptography and patching vulnerability against exploit. In this seminar we try to explore one of important aspect 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 stenthening security, as well as analysis on security system using WBA, Attack Graph-Attack Tree, and model checker for verification.

References

Plans and References ( PDF | PS )
Collection of papers can be found in here