基于CSPN的使用控制证书模型可靠性研究

摘要：

使用控制是下一代数字资源的使用保护技术,是未来网络安全的基础.可靠性理论是基于运用概率统计和运筹学的理论方法,该理论能够对系统的可靠性作定量分析.稳定的可靠性指标对于使用控制模型应用于现实信息系统的安全访问控制具有重要意义,使用控制模型的可靠性分析是目前迫切需要解决的一个问题.该文从模型性能分析的角度定义了证书模型的策略规则,给出证书模型的着色随机Petri网表示方法,利用着色随机Petri网把变迁性能变量引入到使用控制证书模型的形式化描述中,并给出使用控制授权过程可靠性分析方法.

关键词：使用控制证书模型、可靠性、着色随机Petri网、网络安全

所属期刊栏目：26

分类号：TP309.5;TP393.08;TP391.9(计算技术、计算机技术)

资助基金：陕西省自然科学基金;基金申请人:黄光球;项目名称:基于信息融合技术的网络安全模型研究;基金颁发部门:陕西省科技厅2007E217

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

页数：共3页

页码：22-24