TY  - THES
A3  - Müller-Olm, Markus
A3  - Olm, Markus Müller-
AB  - Das Gebiet der Informationsflusskontrolle beschaeftigt sich mit dem Problem sicherzustellen, dass ein Programm das vertrauliche Daten verarbeitet keine Informationen ueber diese Daten an nicht vertrauenswuerdige Kanaele preisgibt. Diese Arbeit praesentiert einen Ansatz zur statischen Informationsflusskontrolle, der es ermoeglicht die Praezision moderner Programmanalysen, die auf die Verifikation von Erreichbarkeitseigenschaften spezialisiert sind, zur Verifikation von Informationsflusssicherheit zu nutzen. Der Ansatz basiert auf einer Charakterisierung von Paaren von Ausfuehrungen eines gegebenen Programms, die eine Informationsflusssicherheitseigenschaft verletzten. Aus dieser Charakterisierung werden approximierende Erreichbarkeitseigenschaften abgeleitet, welche die Informationsflusssicherheit des Programms implizieren und mit Hilfe existierender Programmanalysen verifiziert werden koennen. Die Korrektheit des Ansatzes wird formal bewiesen und an mehreren Anwendungen illustriert.
AU  - Nordhoff, Benedikt
AU  - Nordhoff, Benedikt Heinrich Josef
AU  - Nordhoff, Heinrich Josef
AU  - Nordhoff, Josef
DA  - 2021
DO  - 10.17879/24059374585
KW  - Informationsfluss
KW  - Programmanalyse
KW  - Formale Methoden
KW  - Informationsflusssicherheit
KW  - Abstrakte Interpretation
KW  - PDG
KW  - Verifikation
KW  - information flow
KW  - program analysis
KW  - formal methods
KW  - information flow security
KW  - abstract-interpretation
KW  - pdg
KW  - program verification
LA  - eng
N1  - Münster (Westfalen), Univ., Diss., 2022
PY  - 2021
TI  - Security Through Safety - An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:6-24059372566
Y2  - 2024-11-21T22:30:02
ER  -