Security specifications

Proceedings. 1988 IEEE Symposium on Security and Privacy Pub Date : 1988-04-18 DOI:10.1109/SECPRI.1988.8094

J. Jacob

引用次数: 74

Abstract

A security and specification-oriented semantics for systems is given. The semantic model is derived from that for the trace model of C.A.R. Hoare's (1980) communicating sequential processes and is used to define various security concepts, such as multilevel secure systems, trusted users and integrity. It is indicated how implementations of secure systems can be derived from their specifications.<>

查看原文本刊更多论文

安全规范

给出了一种面向安全性和规范的系统语义。语义模型来源于C.A.R. Hoare(1980)通信顺序过程的跟踪模型，用于定义各种安全概念，如多级安全系统、可信用户和完整性。指出了如何从安全系统的规范中推导出安全系统的实现。

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

求助全文

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

来源期刊

Proceedings. 1988 IEEE Symposium on Security and Privacy

自引率

0.00%

发文量