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

• 作者: 任兴田
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 可信计算 可信连接架构(TCA) 安全属性 定量分析 随机Petri网
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 812-818
• 分类号: TP393
• 字数: 6855字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2012.08.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	任兴田	北京工业大学计算机学院	12	65	5.0	7.0