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

The Reliability Study of The Certificates Model based on CSPN

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

The core models of use control which include authorization model, obligation model and conditions model, is the next-generation digital technology to protect the use of resources. Reliability theory is based on the use of statistics and probability theory, and it can make quantitative analysis for the system reliability. The stability of the reliability is very important for the use of usage control, and it is an urgent to be resolved. In this paper, the performance model of usage control was put forward, and the reliability analysis method was gave for the future use of this kind control model.