Flexible dynamic information flow control in Haskell
Flexible dynamic information flow control in Haskell
复制标题
Haskell 中灵活的动态信息流控制
DOI：
10.1145/2034675.2034688
复制
发表时间：
2012
影响因子：
1.5
通讯作者：
David Mazières
中科院分区：
文献类型：
--
作者：
D. Stefan;Alejandro Russo;John C. Mitchell;David Mazières
我们描述了一种新的，动态的，浮动的标签方法，用于基于语言的信息流控制，并在Haskell中提出实现。标记为IO Monad Lio，可以跟踪当前标签，并允许限制对IO功能的访问，同时确保当前标签超过观察到的所有数据的标签，并限制可以修改的内容。与其他基于语言的工作不同，LIO还将当前标签与当前的清除率界定，该清除率提供了一种可支配的访问控制形式。此外，程序可以封装并传递具有不同标签的计算结果。我们提供精确的语义，并证明系统的机密性和完整性属性。
We describe a new, dynamic, floating-label approach to language-based information flow control, and present an implementation in Haskell. A labeled IO monad, LIO, keeps track of a current label and permits restricted access to IO functionality, while ensuring that the current label exceeds the labels of all data observed and restricts what can be modified. Unlike other language-based work, LIO also bounds the current label with a current clearance that provides a form of discretionary access control. In addition, programs may encapsulate and pass around the results of computations with different labels. We give precise semantics and prove confidentiality and integrity properties of the system.
DOI：
10.1145/1111037.1111045
发表时间：
2006-01
期刊：
--
影响因子：
--
作者：
Sebastian Hunt;David Sands
通讯作者：
Sebastian Hunt;David Sands