|
|||||
|
|
| 一个信息安全系统的形式描述和验证 | |
| 引用本文： | 刘益和,何文孝. 一个信息安全系统的形式描述和验证[J]. 西南民族学院学报(自然科学版), 2008, 34(4) |
| 作者姓名： | 刘益和 何文孝 |
| 作者单位： | [1]内江师范学院计算机与信息科学系,四川内江641112 [2]内江师范学院网络应用项目开发重点实验室,四川内江641112 |
| 摘 要： | 本文通过引入一些新概念,利用有限状态机原理和BLP模型、Biba模型思想,对一个基于认证和授权的信息系统进行了形式化描述和验证,该模型具有保密性和完整性。 |
| 关 键 词： | BLP模型 Biba模型 认证 授权 保密性 完整性 |
A formal description and verification system of information security |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |