A framework for composition of security models

[1992] Proceedings The Computer Security Foundations Workshop V Pub Date : 1992-06-16 DOI:10.1109/CSFW.1992.236779

J. Landauer, T. Redmond

引用次数: 2

Abstract

The authors present an abstract framework for composing models of system components. The abstract presentation is designed to be applicable to a very wide range of models of computation. They introduce a restricted model of computation and develop techniques that are useful for composing security models for modular systems. They include a small example of a composed security model.<>

查看原文本刊更多论文

用于组合安全模型的框架

作者提出了一个组成系统组件模型的抽象框架。抽象的表示被设计成适用于非常广泛的计算模型。他们引入了一种受限制的计算模型，并开发了用于组合模块化系统安全模型的技术。它们包括一个组合安全模型的小示例。

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

求助全文

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

来源期刊

[1992] Proceedings The Computer Security Foundations Workshop V

自引率

0.00%

发文量