基于ZKV方法的远程证明AIK证书生成协议

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:cyg858644
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文首先分析了身份认证密钥证书生成过程中平台信息暴露和可信第三方效率瓶颈等问题,提出了一个可选择的可信计算环境中远程证明身份认证密钥证书生成方案,以保证通信双方终端计算机平台信息的保密性。然后阐述了由零知识证明、Kerberos框架和虚拟可信平台模块三种技术相结合的身份认证密钥证书生成协议,称之为ZKV方法。最后对该方法的安全性和效率进行了分析,并构建原型系统验证了该方法的可行性。
其他文献
核心素养受到当前教育的普遍关注,梳理核心素养相关理论文献,以音乐表演专业为研究对象,探讨音乐表演专业核心素养与核心课程的关系。通过对该专业核心素养框架的确立,反思当
环卫行业人员队伍情况,已经影响到整个行业的发展及居民的生活质量,但很多地方的环卫队伍现状不容乐观,最主要的原因就在于人力资源管理滞后于环卫事业的发展,导致从业人员无
阐述了将已设计完成的四通道MFCS作为内回路,按自动飞行设计任务规范要求,对MFCS进行扩展,形成外回路模态:空速控制与保持、高度控制与保持及航向控制与保持.同时提出了工程
Trace生成是trace驱动体系结构模拟中不可或缺的步骤。Trace不仅需要占用大量存储空间,其生成过程还可能对目标应用程序的模拟执行产生一定程度的干扰,导致性能数据误差。Tra
运动估计(ME)是视频压缩编码中的关键技术,运动估计算法对视频质量、编码复杂度和码率都有直接影响。TZSearch算法是JMVC参考实现中一种基于混合模板的快速搜索算法。通过提高
介绍IEEE颁布的新标准--ATLAS2K.ATLAS2K是ATLAS系列标准的最新版本,比早期版本有较大的改进,在原基础上提供了信号描述的组件库结构.它可迅速有效配备在采用其他标准的自动
主任、各位副主任、秘书长、各位委员:我受莆田市人大常委会委托,现就《莆田市城乡环境卫生管理条例》(以下简称《条例》)作如下说明:一、制定《条例》的必要性环境卫生管理
当前大多数模糊系统的推理机都是以交规则的形式出现,随着输入的增加,规则的数目将早指数增长,出现了规则组合爆炸的问题。采用并规则设计的一种模糊PID控制器,解决了规则爆炸的
以往考察管理层持股与公司业绩的研究均没有考虑产品市场竞争程度的影响,而超产权理论认为,产品市场竞争是公司业绩改善的根本保证。为此,通过构建动态面板数据模型,采用DIF-
阐述了远程垂直发射舰空导弹非正常禁区的计算模型,通过对导弹运动学弹道及破片飞散区的计算得到了导弹高空及低空飞行时射击禁区的最大侧向边界、纵向边界和后方边界,解决了