Flexible Dynamic Information Flow Control in the Presence of Exceptions
J. Funct. Program., Volume abs/1207.1457, 2017.
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
PPT (Upload PPT)