OPUS - Passau

Bibliographische Daten und PDF-Volltexte aus der Universität Passau
... die Wissenschaft der Hochschule sichtbar machen!

Home

Suchen

Melden

Veröffentlichen

Hilfe

Kontakt

OPUS-Frontdoor

Robschink, Torsten

Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik

Open Access: Freier Zugang zum Volltext!

pdf-Format:

Dokument 1.pdf (3.787 KB)

SWD-Schlagwörter:		Programmanalyse , Software Engineering , Reengineering / Software , Softwarewartung , Qualitätssicherung
Freie Schlagwörter (Deutsch):		Program-Slicing, Manipulationsprüfung, Informationsfluss
Freie Schlagwörter (Englisch):		program analysis, program slicing, software reengineering, safety analysis, information flow
Beteiligte Einrichtung:		Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik
Fakultät:		Fakultät für Informatik und Mathematik
DDC-Sachgruppe:		Informatik
Dokumentart:		Dissertation
Hauptberichter:		Snelting, Gregor (Prof. Dr.)
Sprache:		Deutsch
Tag der mündlichen Prüfung:		07.01.2005
Erstellungsjahr:		2004
Publikationsdatum:		28.01.2005
Kurzfassung auf Deutsch:		Diese Arbeit präsentiert eine neue Methode zur Sicherheitsanalyse von Software im Bereich der Manipulationsprüfung und der Einhaltung von Informationsflüssen zwischen verschiedenen Sicherheitsniveaus. Program-Slicing und Constraint-Solving sind eigenständige Verfahren, die sowohl zur Abhängigkeitsbestimmung als auch zur Berechnung arithmetischer Eigenschaften verwendet werden. Die erstmalige Kombination dieser beiden Verfahren mittels Pfadbedingungen liefert nicht nur binäre Abhängigkeitsinformationen wie Slicing, sondern exakte notwendige Bedingungen über die Informationsflüsse zwischen zwei Programmpunkten. Neben der Definition der Grundlagen von Abhängigkeitsgraphen und einfachen Pfadbedingungen werden neue Erweiterungen für kontextsensitive interprozedurale Pfadbedingungen gezeigt und die Integration von domänenspezifischen Verfahren für Arrayfelder und abstrakten Datentypen demonstriert. Der Schwerpunkt der Arbeit liegt in der Realisierung von Pfadbedingungen für echte Programme in echten Programmiersprachen. Hierfür werden Verfahren vorgeschlagen, realisiert und empirisch untersucht, wie Pfadbedingungen für große Programme skalieren. Die zum Einsatz kommenden Techniken sind u.a. Intervallanalyse und Binäre Entscheidungsgraphen, mit denen die generelle exponentielle Komplexität von Pfadbedingungen beherrschbar wird. Fallstudien für den Einsatz von Pfadbedingungen und die empirische Untersuchung mehrerer Verfahren zur Intervallanalyse zeigen, dass Pfadbedingungen für die praktische Programmanalyse und das Programmverstehen geeignet und empfehlenswert sind.

Hinweis zum Urheberrecht

URN: http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-469
URL dieser Seite: http://www.opus-bayern.de/uni-passau/volltexte/2005/46/