Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

Proof Carrying Code
20-00-0410
Gebiet: Foundations of Computing
Modulverantwortlicher: Prof. Dr.-Ing. Heiko Mantel
Kreditpunkte: 3 Dauer: 1 Semester Turnus: Jedes Sommer-Semester
Zeit gesamt: 90 h davon Präsenz: 20 h davon eigenständig: 70 h
Lehrveranstaltung:
Proof Carrying Code
Dozenten: Prof. Dr.-Ing. Heiko Mantel
Seminar 2 SWS
Modulbeschreibung:
Lehrinhalte
Es lässt sich nicht ohne weiteres sagen, ob eine gegebene Software alle Eigenschaften erfüllt, die ein
Hersteller verspricht. Eine mögliche Lösung wäre der Einsatz formaler Methoden zur Verifikation
aller kritischen Eigenschaften. Allerdings besitzen nur wenige Nutzer die Expertise und die
Ressourcen, um eine formale Verifikation selber durchzuführen. Das Prinzip des Proof-Carrying
Code bietet hier eine Lösung. Die Last der Beweisführung wird vom Nutzer auf den Hersteller
verlagert. Das Programm wird mit den formalen Beweisen vom Hersteller gebündelt, so dass ein
Nutzer das Ergebnis der Verifikation inhaltlich überprüfen kann. Dieses Verfahren bietet ein
höheres Maß an Vertrauenswürdigkeit als signaturbasierte Verfahren, mit denen nur die Herkunft
eines Programms garantiert wird und Änderungen am Code verhindert werden. Die theoretische
Motivation von Proof-Carrying Code ist, dass das Führen von Beweisen komplexer ist als deren
Überprüfung. Der Rechen- und Speicheraufwand ist besonders relevant, wenn ressourcen-arme
mobile Endgeräte eingesetzt werden. In dem Seminar werden Artikel zu Grundlagen und
Anwendungsgebieten des Proof-Carrying-Code Prinzips behandelt, zum Beispiel zum Nachweis von
Typsicherheit für Java Bytecode.
Kompetenzen
•Verbesserung der Fähigkeiten zum Lesen und Verstehen wissenschaftlicher Artikel
•Fähigkeit wissenschaftliche Ergebnisse als solche zu erkennen und inhaltlich zu bewerten
•Fähigkeit über wissenschaftliche Arbeiten und Ergebnisse schriftlich zu berichten
•Verbesserung der Fähigkeiten zum Präsentieren und Diskutieren wissenschaftlicher Projekte und
Ergebnisse
•Kenntnisse von Methoden zu "Proof-Carrying-Code" und aktuellen Forschungsfragestellungen
Modulhandbuch Informatik 154