一种网络间可信连接协议

作者：赖英旭^*; 刘岩; 刘静

来源：软件学报, 2019, 30(12): 3730-3749.

DOI：10.13328/j.cnki.jos.005603

• 可信连接架构
• 可信计算
• 可信连接协议
• SVO
• AVISPA

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

• 单位
  北京工业大学