基于可信计算平台的Web服务身份认证机制研究

本文针对当前较为常用的Web服务身份认证方法在安全性、执行效率上的不足,通过引入可信计算技术,结合DAA（直接匿名认证）协议,提出了一种基于可信计算平台的身份认证方法,并给出相应的安全性分析。     

基于SHCPN的系统动态可靠性建模及分析

针对传统复杂可修系统可靠性建模方法只能建立系统静态分析模型的问题,提出基于随机层次着色Petri网(SHCPN)的动态可靠性建模方法,并在讨论SHCPN形式化定义和建模方法的基础上,描述利用该方法建立复杂可修系统动态可靠性分析模型的过程。实验结果证明该方法可有效解决以往系统可靠性建模中存在的不足。     

SPN在网络安全保密系统可靠性分析中的应用

文章针对网络安全保密系统的安全需求和运行特性,引入Petri网理论指导网络安全保密系统的可靠性建模与分析过程。首先详细描述了运用随机Petri网对网络安全保密系统进行可靠性建模与分析的具体方法和过程;然后给出一个实例,对系统的保密性服务子系统进行建模,并分析了该子系统在安全运行状态下的可靠性。通过对可靠性建模分析方法的应用,不仅实现了系统方案设计阶段可靠性的可评估性,而且提高了系统后期开发过程的可操作性。