東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour./
Author:	Nordhoff, Benedikt Heinrich Josef.
Published:	Ann Arbor : ProQuest Dissertations & Theses, : 2021,
Description:	135 p.
Notes:	Source: Dissertations Abstracts International, Volume: 84-01, Section: B.
Contained By:	Dissertations Abstracts International84-01B.
Subject:	Maps. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29192467
ISBN:	9798835551057

Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour.
Nordhoff, Benedikt Heinrich Josef.

Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour. - Ann Arbor : ProQuest Dissertations & Theses, 2021 - 135 p.

Source: Dissertations Abstracts International, Volume: 84-01, Section: B.

Thesis (Ph.D.)--Westfaelische Wilhelms-Universitaet Muenster (Germany), 2021.

This item must not be sold to any third party vendors.

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.

ISBN: 9798835551057Subjects--Topical Terms:

544078
Maps.

Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour.
LDR:03344nmm a2200337 4500 001 2350130
005 20221020123903.5
008 241004s2021 ||||||||||||||||| ||eng d
020 $a 9798835551057
035 $a (MiAaPQ)AAI29192467
035 $a (MiAaPQ)WilhelmsUnivMuenster351865ff-fd12-4ffc-af38-ec455155b3f6
035 $a AAI29192467
040 $a MiAaPQ $c MiAaPQ
100 1 $a Nordhoff, Benedikt Heinrich Josef. $3 3689585
245 1 0 $a Security Through Safety: An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2021
300 $a 135 p.
500 $a Source: Dissertations Abstracts International, Volume: 84-01, Section: B.
500 $a Advisor: Muller-Olm, Markus;Seidl, Helmut;Jiang, Xiaoyi.
502 $a Thesis (Ph.D.)--Westfaelische Wilhelms-Universitaet Muenster (Germany), 2021.
506 $a This item must not be sold to any third party vendors.
520 $a 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.
520 $a Information flow control is concerned with ensuring that a program which receives confidential input does not leak information about this input to untrusted channels. We present a novel approach for static information flow control that can harness the power of modern safety analyses. The approach is based on a characterisation of pairs of executions which break a security property. From the characterisation approximating safety properties are derived which ensure the security of the program. The development utilises a simple yet versatile program model that is not limited to finite control or data and targets a semantic security property which is termination insensitive but still gives some guarantees for non-terminating executions by allowing for observations throughout the execution of a program. We provide rigorous soundness proofs that have also been machine checked and describe multiple instantiations of the approach including a fixed point-based approach targeting abstract interpretation-like safety analyses and a regular approximation that is the basis for a prototypical implementation.
590 $a School code: 0583.
650 4 $a Maps. $3 544078
650 4 $a Language. $3 643551
650 4 $a Behavior. $3 532476
650 4 $a Software. $2 gtt. $3 619355
650 4 $a Graphs. $3 3685259
650 4 $a Power. $3 518736
650 4 $a Logic. $3 529544
650 4 $a Semantics. $3 520060
650 4 $a Computer science. $3 523869
690 $a 0679
690 $a 0395
690 $a 0984
710 2 $a Westfaelische Wilhelms-Universitaet Muenster (Germany). $3 3682405
773 0 $t Dissertations Abstracts International $g 84-01B.
790 $a 0583
791 $a Ph.D.
792 $a 2021
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=29192467