一种网络间可信连接协议

• 作者: 刘岩 刘静 赖英旭
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可信连接架构 可信计算 可信连接协议 SVO AVISPA
• 年，卷（期）: 2019,（12）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 3730-3749
• 页数: 20页
• 分类号: TP393
• 字数: 15329字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005603

摘要

为了解决深化“互联网+先进制造业”进程中网络可信互连问题,引入了可信连接架构(trusted connect architecture,简称TCA)技术.基于TCA技术思想,针对网络间可信认证需求,设计了一种支持网络间互连的可信连接协议(TCA-SNI).引入了网络间双向认证过程,给出了TCA-SNI协议的交互过程;使用扩展的SVO逻辑系统对协议进行逻辑推理,证明该协议是安全可靠的;使用Dolev-Yao攻击者模型对协议进行攻击测试,实验结果表明,协议的安全目标均已达成,证明该协议可以抵御真实网络中的攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘岩	北京工业大学信息学部计算机学院	34	168	7.0	11.0
2	赖英旭	北京工业大学信息学部计算机学院	54	244	9.0	14.0
3	刘静	北京工业大学信息学部计算机学院	36	110	7.0	8.0