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

Proof-Carrying-Code auf mobilen Endgeräten
20-00-0420
Gebiet: Foundations of Computing
Modulverantwortlicher: Prof. Dr.-Ing. Heiko Mantel
Kreditpunkte: 6 Dauer: 1 Semester Turnus: Jedes Sommer-Semester
Zeit gesamt: 180 h davon Präsenz: 40 h davon eigenständig: 140 h
Lehrveranstaltung:
Proof-Carrying-Code auf mobilen Endgeräten
Dozenten: Prof. Dr.-Ing. Heiko Mantel
Praktikum 4 SWS
Modulbeschreibung:
Lehrinhalte
Für eine gegebene Software lässt sich nicht ohne weiteres sagen, ob diese 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 elegante Lösung. Die Last der Beweisführung wird vom Nutzer auf den
Hersteller verlagert. Das Programm wird mit den formalen Beweisen des Herstellers 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 Motivation zur
Nutzung von Proof-Carrying Code ist, dass das Überprüfen von Beweisen einfacher ist als das Führen
von Beweisen. Der Rechen- und Speicheraufwand wird dabei besonders relevant, wenn
ressourcenarme mobile Endgeräte eingesetzt werden. Das Ziel dieses Praktikums ist es, innerhalb
eines auf Java basierenden Frameworks das Konzept des Proof-Carrying-Codes zu realisieren. Das
Framework ist dabei in Java implementiert, und die zu prüfende Software liegt als Java Bytecode vor.
Auf technischer Seite nutzt das Framework eine Client-Server-Infrastruktur. Clients sind mobile
Endgeräte wie etwa Handys oder PDAs. Eine Fallstudie demonstriert die praktische Einsetzbarkeit
dieses Frameworks.
Kompetenzen
Literatur
wird im Rahmen der Veranstaltung bekannt gegeben
Modulhandbuch Informatik 156