• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

赖英旭 (赖英旭.) (学者:赖英旭) | 刘岩 (刘岩.) | 刘静 (刘静.)

收录:

CQVIP PKU CSCD

摘要:

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

关键词:

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

作者机构:

  • [ 1 ] 北京工业大学信息学部计算机学院

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

来源 :

软件学报

年份: 2019

期: 12

卷: 30

页码: 3730-3749

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 1

在线人数/总访问数:2675/2962629
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司