|
|||||
|
|
| 基于Petri网的信息系统强制访问控制模型研究 | |
| 引用本文： | 王正万.基于Petri网的信息系统强制访问控制模型研究[J].硅谷,2011(5):61-62,12. |
| 作者姓名： | 王正万 |
| 作者单位： | 贵州电子信息职业技术学院,贵州,凯里,556000 |
| 摘 要： | 在安全级格模型、BLP、Biba安全模型的基础上,为解决信息系统对信息安全性的要求,针对传统BLP模型的多级安全策略并投有阻止信息的非法修改的弱点,利用现有Petri网数学模型,结合网络应用,对强制访问控制模型进行分析研究,对模型的安全性进行验证,实践证明,能够有效地改善信息系统的总体安全策略. |
| 关 键 词： | 信息系统 强制访问控制模型 安全策略 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |