Login
- Original title:
- Information Flow Security in Tree-Manipulating Processes
- Translated title:
- Sicherheit im Informationsfluss bei Baummanipulierenden Prozessen
- Author:
- Kovács, Máté Amadé
- Year:
- 2014
- Document type:
- Dissertation
- Faculty/School:
- Fakultät für Informatik
- Advisor:
- Seidl, Helmut (Prof. Dr.)
- Referee:
- Seidl, Helmut (Prof. Dr.); Müller-Olm, Markus (Prof. Dr.)
- Language:
- en
- Subject group:
- DAT Datenverarbeitung, Informatik
- Controlled terms:
- Informationsfluss; Datensicherung; Baum Mathematik
- TUM classification:
- DAT 461d; DAT 455d
- Abstract:
- 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.
- Translated abstract:
- 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
- Date of submission:
- 30.09.2013
- Oral examination:
- 20.03.2014
- File size:
- 1103494 bytes
- Pages:
- 146
- Urn (citeable URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20140320-1174213-0-5
- Last change:
- 08.10.2014
BibTeX