基于Petri网的信息系统强制访问控制模型研究

摘要：

在安全级格模型、BLP、Biba安全模型的基础上,为解决信息系统对信息安全性的要求,针对传统BLP模型的多级安全策略并投有阻止信息的非法修改的弱点,利用现有Petri网数学模型,结合网络应用,对强制访问控制模型进行分析研究,对模型的安全性进行验证,实践证明,能够有效地改善信息系统的总体安全策略.

关键词：信息系统、强制访问控制模型、安全策略

分类号：TP309.2(计算技术、计算机技术)

在线出版日期：2011-07-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：61-62,12