Benutzer: Gast  Login
Originaltitel:
Information Flow Security in Tree-Manipulating Processes 
Übersetzter Titel:
Sicherheit im Informationsfluss bei Baummanipulierenden Prozessen 
Jahr:
2014 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Seidl, Helmut (Prof. Dr.) 
Gutachter:
Seidl, Helmut (Prof. Dr.); Müller-Olm, Markus (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Schlagworte (SWD):
Informationsfluss; Datensicherung; Baum Mathematik 
TU-Systematik:
DAT 461d; DAT 455d 
Kurzfassung:
By enterprise workflows and web service technologies data is frequently represented in the form of XML documents. In the same time, these systems are highly security critical, because they may be in control of important processes of organizations, while communicating with external partners over the network. Therefore, this work describes three methods to verify information flow properties of processes manipulating tree-structured data. 
Übersetzte Kurzfassung:
Bei Enterprise-Workflow-Systemen und Web-Service-Technologien werden Daten oft durch XML Dokumente repräsentiert. Diese Systeme sind sicherheitskritisch, weil sie wichtige Prozessabläufe einer Organisation kontrollieren können, während sie mit externen Partnern über das Netzwerk kommunizieren. Diese Arbeit beschreibt drei Methoden, die Informationsfluss-Eigenschaften von Programmen sicherstellen können, deren Schwerpunkt die Verarbeitung von baumstrukturierten Daten ist. 
Mündliche Prüfung:
20.03.2014 
Dateigröße:
1103494 bytes 
Seiten:
146 
Letzte Änderung:
08.10.2014