392126 Causal Reasoning in System Safety (S) (SoSe 2002)

Dieses Seminar wird auf dem Inhalt des Buches Causal System Analysis von Prof. Ladkin basieren.
Teile von dem Buch sind schon als Industrie-Tutorium und Konferenz-Beiträge veröffentlicht worden. Vier
Kopien des Buches befinden sich im Semester-Apparat.

Dieses Seminar ist eine Erweiterung von System Safety (WS 2001-2) und wird in der Form eines
Workshops angeboten. Momentan bearbeiten wir die WB-Analyse des bekannten Buffer-Overflow
Security Problems (verantwortlich für 80% der Sicherheitslücken in Internet-Software). Eine
provisorische WB-Analyse hat einen Attack-Tree erzeugt (siehe Schneier, unten) und uns erlaubt, die
Fehler in dem Buffer-Overflow Attach Pattern (Moore, Ellison. Linger, CMU-SEI Technical Note
CMU/SEI-2001-ZTN-001) zu identifizieren und korrigieren. Wir werden u.a. weitere solche
Probleme bearbeiten.

Literaturangaben

• Causal System Analysis, von Peter Ladkin. Vier Kopien des Buches befinden sich im

Semester-Apparat.

• Computer-Related Risks by Dr. Peter Neumann, Moderator of the RISKS-Forum,

(Addison-Wesley, 1995).

• Secrets and Lies: Digital Security in a Networked World von Bruce Schneier, John Wiley

and Sons, 2000

• Security Engineering: A Guide to Building Dependable Distributed Sysstems von Ross

Anderson, John Wiley and Sons, 2001.

Externe Kommentarseite

http://www.rvs.uni-bielefeld.de/lecture/S02.html#392126