Flexible Dynamic Information Flow Control in the Presence of Exceptions

J. Funct. Program., Volume abs/1207.1457, 2017.

Cited by: 48|Views65
EI

Abstract:

We describe a new, dynamic, floating-label approach to language-based information flow control. A labeled IO monad, LIO, keeps track of a current label and permits restricted access to IO functionality. The current label floats to exceed the labels of all data observed and restricts what can be modified. Unlike other language-based work...More

Code:

Data:

Your rating :
0

 

Tags
Comments