基于Petri网的可信连接架构的安全属性分析

摘要：

为确保可信连接架构(TCA)自身的安全可靠,研究了其安全属性量化问题,分析了其双向用户身份认证和平台认证过程中存在的安全威胁.利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模,该模型用于描述攻击行为和TCA的双向认证过程.以该模型为基础构造了马尔科夫链,通过计算马尔科夫模型的稳定状态概率对TCA的稳定状态机密性和完整性等安全属性进行定量分析.最后给出了一个具体数值评估结果的实例.此研究给出的方法有理论和实用意义.

关键词：可信计算、可信连接架构(TCA)、安全属性、定量分析、随机Petri网

所属期刊栏目：22

分类号：TP3;TQ4

资助基金：973计划2007CB311100

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

页数：共7页

页码：812-818