Noninterference specifications for secure systems

Q3 Computer Science

Operating Systems Review (ACM) Pub Date : 2020-08-31 DOI:10.1145/3421473.3421478

Luke Nelson, James Bornholt, A. Krishnamurthy, E. Torlak, Xi Wang

引用次数: 2

Abstract

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.

查看原文本刊更多论文

安全系统的抗干扰规范

本文分析了一系列正式验证系统中使用的非干扰规范。主要发现是，这些系统使用不同的规范，并且经常使用小的变化，这两种情况都使其安全影响复杂化。我们对这些规范进行了分类，并讨论了它们在系统中信息流推理中的权衡。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Operating Systems Review (ACM) Computer Science-Computer Networks and Communications

CiteScore

2.80

自引率

0.00%

发文量

期刊介绍： Operating Systems Review (OSR) is a publication of the ACM Special Interest Group on Operating Systems (SIGOPS), whose scope of interest includes: computer operating systems and architecture for multiprogramming, multiprocessing, and time sharing; resource management; evaluation and simulation; reliability, integrity, and security of data; communications among computing processors; and computer system modeling and analysis.