安全模型的一种形式化方法

被引：4

作者：

余祥宣，马建平

机构：

[1] 华中理工大学计算机科学与工程系

来源：

计算机研究与发展 | 1995年 / 10期

关键词：

安全模型，计算机安全，多级安全;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

本文基于有限状态机（ＦＳＭ）的理论，结合通信顺序进程（ＣＳＰ）的概念，提出了一种开发安全模型的形式化方法。在该方法中，用ＦＳＭ描述整个系统结构和控制部分，用ＣＳＰ描述系统的状态转移。文章以多级安全（ＭＬＳ）策略为例建立了一个安全模型。

引用

收藏

页码：12 / 15

页数：4

相关论文

empty

未找到相关数据