Indexed by：
Abstract：
为确保可信连接架构(TCA)自身的安全可靠,研究了其安全属性量化问题,分析了其双向用户身份认证和平台认证过程中存在的安全威胁.利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模,该模型用于描述攻击行为和TCA的双向认证过程.以该模型为基础构造了马尔科夫链,通过计算马尔科夫模型的稳定状态概率对TCA的稳定状态机密性和完整性等安全属性进行定量分析.最后给出了一个具体数值评估结果的实例.此研究给出的方法有理论和实用意义.
Keyword：
Reprint Author's Address：
Email：
Source ：
高技术通讯
ISSN： 1002-0470
Year： 2012
Issue： 8
Volume： 22
Page： 812-818
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 1
Chinese Cited Count：
30 Days PV： 1
Affiliated Colleges：
