This is an archived page and is no longer updated.
Please visit our current pages at https://rvs-bi.de

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

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.

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.

Literatur

Internet Werkzeuge und Dienste: 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

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:

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