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