Login
- Originaltitel:
- Information Flow Security in Tree-Manipulating Processes
- Übersetzter Titel:
- Sicherheit im Informationsfluss bei Baummanipulierenden Prozessen
- Autor:
- Kovács, Máté Amadé
- Jahr:
- 2014
- Dokumenttyp:
- Dissertation
- Fakultät/School:
- 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.
- WWW:
- https://mediatum.ub.tum.de/?id=1174213
- Eingereicht am:
- 30.09.2013
- Mündliche Prüfung:
- 20.03.2014
- Dateigröße:
- 1103494 bytes
- Seiten:
- 146
- Urn (Zitierfähige URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20140320-1174213-0-5
- Letzte Änderung:
- 08.10.2014
BibTeX