Type systems for information flow control: the question of granularity
Type systems for information flow control: the question of granularity
复制标题
信息流控制的类型系统：粒度问题
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
D. Garg
中科院分区：
文献类型：
--
作者：
Vineet Rajani;Iulia Bastys;Willard Rafnsson;D. Garg
信息流控制是计算机安全的核心。信息流控制的目的是防止未经授权的秘密信息流向计算的公共输出。这项任务通常是使用依赖模态运算符来标记和跟踪信息的类型系统来完成的，因此，这种强制信息流控制的方式在逻辑中根深蒂固。设计用于信息流控制或一般依赖性分析的类型系统时的一个关键选择是跟踪依赖性的粒度。本文考虑了这个广阔的设计空间中的两个极端设计点，并检验了它们的相对表现力。
Information flow control is central to computer security. The objective of information flow control is to prevent unauthorized flows of secret information to the public outputs of a computation. This task is often accomplished using type systems that rely on modal operators to label and track information and, hence, this style of enforcing information flow control is deeply ingrained in logic. One key choice in designing a type system for information flow control, or dependence analysis in general, is the granularity at which dependencies are tracked. This article considers two extreme design points in this vast design space and examines their relative expressiveness.
DOI：
10.1145/1111037.1111045
发表时间：
2006-01
期刊：
--
影响因子：
--
作者：
Sebastian Hunt;David Sands
通讯作者：
Sebastian Hunt;David Sands