| 安全模型的一种形式化方法 |
| |
| 引用本文： | 余祥宣 马建平. 安全模型的一种形式化方法[J]. 计算机研究与发展, 1995, 32(10): 12-15 |
| |
| 作者姓名： | 余祥宣 马建平 |
| |
| 作者单位： | 华中理工大学计算机科学与工程系 |
| |
| 摘 要： | 本文基于有限状态机的理论，结合通信顺序进行的概念，提出了一种开发安全模型的形式化方法。在该方法中，用ＦＳＭ描述整个系统结构和控制部分，用ＣＳＰ描述系统的状态转移。文章以多级安全策略为例建立了一个安全模型。
|
| 关 键 词： | 安全模型 计算机安全 多能安全 |
A FORMAL APPROACH TO SECURITY MODEL |
| |
| Yu Xiangxuan and Ma Jianping. A FORMAL APPROACH TO SECURITY MODEL[J]. Journal of Computer Research and Development, 1995, 32(10): 12-15 |
| |
| Authors: | Yu Xiangxuan and Ma Jianping |
| |
| Abstract: | |
| |
| Keywords: | Security model computer security multilevel security. |
| 本文献已被 CNKI 维普 等数据库收录！ |
