Noninterference specifications for secure systems

Noninterference specifications for secure systems
复制标题

DOI：
10.1145/3421473.3421478
复制
发表时间：
2020-08
期刊：
ACM SIGOPS Operating Systems Review
影响因子：
--
通讯作者：
Luke Nelson;James Bornholt;A. Krishnamurthy;Emina Torlak;Xi Wang
Luke Nelson;James Bornholt;A. Krishnamurthy;Emina Torlak;Xi Wang
中科院分区：
其他
文献类型：
--
作者：
Luke Nelson;James Bornholt;A. Krishnamurthy;Emina Torlak;Xi Wang

文献摘要

被引文献

相似文献

本文介绍了对一系列正式验证系统中使用的非干扰规格的分析。主要发现是这些系统使用不同的规格，并且通常采用微小的变化，这既使它们的安全含义都复杂化。我们对这些规格进行了分类，并讨论了他们的权衡，以推理系统中的信息流。
This paper presents an analysis of noninterference specifications used in a range of formally verified systems. The main findings are that these systems use distinct specifications and that they often employ small variations, both complicating their security implications. We categorize these specifications and discuss their trade-offs for reasoning about information flows in systems.