软件学报

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

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

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

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

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

来源：2019年第12期

《软件学报》期刊编辑部

查看软件学报杂志2019年第12期