Vorlesung mit ÜbungCS3250
Sichere Software
Originaltitel in UnivIS: „Sichere Software / CS3250-KP08 / Vorlesung“
Termine
Beschreibung
Inhalt
- Maßnahmen zur Verbesserung der Softwaresicherheit - Definition zentraler Techniken wie Statische Analyse, Model Checking, Testen, Runtime Verification - Verfahren zur Programmanalyse - Verwendung und Funktionsweise von Model Checkern - Testverfahren - Sicherung durch Runtime Verification - Anwendungen der Techniken - Theorembeweisen - Werkzeuge
Literatur
- A.R. Bradley, Z. Manna: The Calculus of Computation - Springer, 2007 - F. Nielson, H.R. Nielson, C. Hankin: Principles of Program Analysis - Springer 2010 - C. Baier, J.-P. Katoen: Principles of Model Checking - MIT Press, 2008 - D. Peled: Software Reliability Methods - Springer, 2001
Organisatorisches
Workload: - 30 Stunden Prüfungsvorbereitung - 120 Stunden Selbststudium - 90 Stunden Präsenzstudium
Hinweise
Die Kreditpunkte gibt es nur zusammen mit der Übung.
Im Vorlesungsverzeichnis
- , Vertiefung beliebiges Fachsemester