基于可信计算的企业云签证协议设计与证明

摘要：

为解决当前企业云内部部门之间通信时缺乏身份认证的问题,提出基于可信计算的企业云签证方法与协议,并对其进行证明和分析.在可信云vTPM架构基础上,通过设计vAIK签证协议,建立vTPM与企业云部门终端之间的身份对应关系并保证了vTPM签名能力的合法性.通过设计vTPM远程证明协议使得企业云内部通信时的消息发送方身份可验.vAIK签证过程中的报告由云平台签名、远程证明过程中的报告由云平台和vTPM共同签名以保证消息发送方的身份真实性,并在vAIK签证和远程证明过程中加入随机数保证报告新鲜性.最后使用SVO逻辑对vTPM证书签证和远程证明协议进行了证明与分析,结果表明该设计能够达到理想目标.

关键词：签证协议、可信云、企业云、远程证明、SVO逻辑

所属期刊栏目：37

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目

在线出版日期：2020-08-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2126-2131