安全模型的一种形式化方法
- 出版年：1995
- 作者：余祥宣；马建平
- 单位1：华中理工大学计算机科学与工程系
- 出生年：1942
- 职称：教授
- 语种：中文
- 作者关键词：安全模型；计算机安全；多级安全
- 起始页：12
- 总页数：4
- 刊名：计算机研究与发展
- 是否内版：否
- 刊频：月刊
- 创刊时间：1958
- 主办单位：中国科学院计算技术研究所中国计算机学会
- 主编：刘国珩
- 邮编：100080
- 卷：32
- 期：10
摘要
本文基于有限状态机(FSVH的理论，结合通信顺序进程(CSP)的概念，提出了一种开发安全模型的形式化方法. 在该方法中，用FSM插述整个系统结构和控制部分，用CSP描述系统的状态转移。文章以多级安全(MLS)策略为例建立了一个安全模型。