一种网络间可信连接协议

来源：软件学报杂志2019年第12期北京时间：

作者：赖英旭,刘岩,刘静

单位：赖英旭，北京工业大学 信息学部 计算机学院, 北京 10012411,刘岩，北京工业大学 信息学部 计算机学院, 北京 10012402,刘静，北京工业大学 信息学部 计算机学院, 北京 10012403

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

关键词：可信连接架构;可信计算;可信连接协议;SVO;AVISPA

基金资助：青海省自然科学基金（2017-ZJ-912）；北京市自然科学基金（4162006）