國立虎尾科技大學 |

Faceted Information Flow.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Faceted Information Flow./
作者:	Schmitz, Thomas.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2019,
面頁冊數:	157 p.
附註:	Source: Dissertations Abstracts International, Volume: 81-05, Section: B.
Contained By:	Dissertations Abstracts International81-05B.
標題:	Computer science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10234801
ISBN:	9781088324707

Faceted Information Flow.
Schmitz, Thomas.

Faceted Information Flow. - Ann Arbor : ProQuest Dissertations & Theses, 2019 - 157 p.

Source: Dissertations Abstracts International, Volume: 81-05, Section: B.

Thesis (Ph.D.)--University of California, Santa Cruz, 2019.

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

This thesis aims to make progress on the problem of using dynamic information flow control for computer security at the application level, specifically using Faceted Values. This technique involves augmenting program data values so that each one is a pair of two primitive values:one high-security version that is visible only to high-security observers, and one low-security version that is visible to everyone else. These augmented values are called faceted values, and the various versions are called facets. This technique allows very precise tracking of information flow through a program, allowing programmers to increase confidence in the security of their systems.This thesis helps to increase the maturity of research on the "Faceted Values'' technique, bringing it in line with research on the prior techniques "No Sensitive Upgrades'' and "Secure Multi Execution.'' Specifically, we have formalized a new semantics (called Multef) and proved that it satisfies a strong ("termination sensitive'') security property, we have implemented the technique as a Haskell library (called FIO) using two monads, and we have tested it in a prototype social network application (called FacetBook).

ISBN: 9781088324707Subjects--Topical Terms:

573171
Computer science.
Subjects--Index Terms:

Computer security

Faceted Information Flow.
LDR:02349nam a2200349 4500 001 951753
005 20200821052147.5
008 200914s2019 ||||||||||||||||| ||eng d
020 $a 9781088324707
035 $a (MiAaPQ)AAI10234801
035 $a AAI10234801
040 $a MiAaPQ $c MiAaPQ
100 1 $a Schmitz, Thomas. $3 1241217
245 1 0 $a Faceted Information Flow.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2019
300 $a 157 p.
500 $a Source: Dissertations Abstracts International, Volume: 81-05, Section: B.
500 $a Includes supplementary digital materials.
500 $a Advisor: Flanagan, Cormac.
502 $a Thesis (Ph.D.)--University of California, Santa Cruz, 2019.
506 $a This item must not be sold to any third party vendors.
506 $a This item must not be added to any third party search indexes.
520 $a This thesis aims to make progress on the problem of using dynamic information flow control for computer security at the application level, specifically using Faceted Values. This technique involves augmenting program data values so that each one is a pair of two primitive values:one high-security version that is visible only to high-security observers, and one low-security version that is visible to everyone else. These augmented values are called faceted values, and the various versions are called facets. This technique allows very precise tracking of information flow through a program, allowing programmers to increase confidence in the security of their systems.This thesis helps to increase the maturity of research on the "Faceted Values'' technique, bringing it in line with research on the prior techniques "No Sensitive Upgrades'' and "Secure Multi Execution.'' Specifically, we have formalized a new semantics (called Multef) and proved that it satisfies a strong ("termination sensitive'') security property, we have implemented the technique as a Haskell library (called FIO) using two monads, and we have tested it in a prototype social network application (called FacetBook).
590 $a School code: 0036.
650 4 $a Computer science. $3 573171
653 $a Computer security
653 $a Faceted values
653 $a Haskell library
690 $a 0984
710 2 $a University of California, Santa Cruz. $b Computer Science. $3 1184383
773 0 $t Dissertations Abstracts International $g 81-05B.
790 $a 0036
791 $a Ph.D.
792 $a 2019
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10234801