论文摘要
为了解决深化"互联网+先进制造业"进程中网络可信互连问题,引入了可信连接架构（trustedconnect architecture,简称TCA）技术.基于TCA技术思想,针对网络间可信认证需求,设计了一种支持网络间互连的可信连接协议（TCA-SNI）.引入了网络间双向认证过程,给出了TCA-SNI协议的交互过程;使用扩展的SVO逻辑系统对协议进行逻辑推理,证明该协议是安全可靠的;使用Dolev-Yao攻击者模型对协议进行攻击测试,实验结果表明,协议的安全目标均已达成,证明该协议可以抵御真实网络中的攻击.
论文目录
文章来源
类型: 期刊论文
作者: 赖英旭,刘岩,刘静
关键词: 可信连接架构,可信计算,可信连接协议
来源: 软件学报 2019年12期
年度: 2019
分类: 信息科技
专业: 互联网技术
单位: 北京工业大学信息学部计算机学院
基金: 青海省自然科学基金(2017-ZJ-912),北京市自然科学基金(4162006)~~
分类号: TP393.08
DOI: 10.13328/j.cnki.jos.005603
页码: 3730-3749
总页数: 20
文件大小: 994K
下载量: 140