Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement

Kozyri, Elisavet; Schneider, Fred B.; Bedford, Andrew; Desharnais, Josée; Tawbi, Nadia

This is not the latest version of this item. The latest version can be found here.

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement

dc.contributor.author	Kozyri, Elisavet
dc.contributor.author	Schneider, Fred B.
dc.contributor.author	Bedford, Andrew
dc.contributor.author	Desharnais, Josée
dc.contributor.author	Tawbi, Nadia
dc.date.accessioned	2019-02-28T18:02:12Z
dc.date.available	2019-02-28T18:02:12Z
dc.date.issued	2019-02-28
dc.description.abstract	Flow-sensitive labels used by dynamic enforcement mechanisms might themselves encode sensitive information, which can leak. Metalabels, employed to represent the sensitivity of labels, exhibit the same problem. This paper derives a new family of enforcers k-Enf , for k>1 that uses label chains, where each label defines the sensitivity of its predecessor. These enforcers satisfy Block-safe Noninterference (BNI), which proscribes leaks from observing variables, label chains, and blocked executions. Theorems in this paper characterize where longer label chains can improve the permissiveness of dynamic enforcement mechanisms that satisfy BNI. These theorems depend on semantic attributes---k-precise, k-varying, and k-dependent---of such mechanisms, as well as on initialization, threat model, and lattice size.	en_US
dc.identifier.uri	https://hdl.handle.net/1813/64488
dc.language.iso	en_US	en_US
dc.relation.isreplacedby	https://hdl.handle.net/1813/64488.2
dc.rights	Attribution-NonCommercial-ShareAlike 4.0 International	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-sa/4.0/	*
dc.subject	information flow control	en_US
dc.subject	dynamic	en_US
dc.subject	flow-sensitive	en_US
dc.subject	permissiveness	en_US
dc.subject	label chains	en_US
dc.title	Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement	en_US
dc.type	technical report	en_US

Files

Original bundle

Now showing 1 - 1 of 1

Name:: paper.pdf
Size:: 643.97 KB
Format:: Adobe Portable Document Format
Description:: Mail article

Download

Collections

Computer Science Technical Reports

Version History

You are currently viewing version 1 of the item.

Now showing 1 - 2 of 2

Version	Date	Summary
2	2019-05-09 11:11:17	Explanatory sentences added throughout text. Important definitions placed in displays, rearranged definitions in section 3, and added acknowledgement section.
1*	2019-02-28 13:02:12

* Selected version