EVA STAR Trefferanzeige

Volltext Giffhorn_Dennis.pdf1.pdf (3,8 MB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-288143
Titel Slicing of Concurrent Programs and its Application to Information Flow Control
Autor Giffhorn, Dennis
Institution Institut für Programmstrukturen und Datenorganisation (IPD)
Dokumenttyp Buch
Verlag Karlsruhe
Jahr 2012
Hochschulschrift Dissertation
Fakultät für Informatik (INFORMATIK)
Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdaten: 08.05.2012
Referent/Betreuer: Prof. G. Snelting
Abstract This thesis presents a practical technique for information flow control for concurrent programs with threads and shared-memory communication. The technique guarantees confidentiality of information with respect to a reasonable attacker model and utilizes program dependence
graphs (PDGs), a language-independent representation of information flow in a program.