TCM密钥迁移协议设计及形式化分析

来源 :软件学报 | 被引量 : 0次 | 上传用户:dianzi511
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为增强TCM芯片间密钥的互操作性,TCM提供了密钥迁移相关命令接口,允许用户设计密钥迁移协议以实现芯片间密钥的共享.通常,TCM密钥迁移协议以目标TCM上的新父密钥作为迁移保护密钥.研究发现,该协议存在两个问题:对称密钥不能作为被迁移密钥的新父密钥,违背了TCM的初始设计思想;缺少交互双方TCM的相互认证,导致源TCM的被迁移密钥可以被外部敌手获得,并且敌手可以将其控制的密钥迁移到目标TCM中.针对上述问题,提出两个新的密钥迁移协议:协议1遵循TCM目前的接口规范,以目标TCM的PEK(platform
其他文献
进入21世纪以来,人才将是国际平台上综合国力的最大竞争。对于企业而言,日趋白热化的外部竞争,使得企业对人才的需求变得越来越多元化的同时,高度专业化的工作更加注重量身定制的用人模式。如何提高员工的工作绩效,留住优秀人才,在未来全球性的“市场空间”中拥有竞争优势,已引起了社会各界的广泛关注,正逐渐成为学术研究的热点。心理资本的提出则从员工自身的角度为竞争优势的获得开辟了新的方向。论文拟探讨中国环境下心
莲花纹饰是我国出现较早的传统装饰纹饰之一,在历史发展的过程中,受到经济文化和佛教的影响,表现形式日趋多样,花纹种类日益增多,无论是皇家、民间还是在儒、释、道艺术中都
近几年,有机钙钛矿材料由于其适宜的带宽、低激子结合能、高光吸收系数、宽吸收光谱、高载流子迁移率和较长的载流子扩散长度等优点,已经成为了太阳能电池领域的研究热门。这
定向问题是一种路径优化问题。在国内外定向问题研究现状分析的基础上,本文提出了三类有代表性的定向问题,带指定点集和时间窗的定向问题、带指定点集和时间依赖型定向问题、
社区公园是离城市居民生活最近的一类公园,它具有数量多、面积小、易到达、使用率高等特点。每一天,形形色色的游憩行为都在社区公园中发生着,而直接承载着这些行为的要素之
有毒中药的应用和记载历史悠久,其毒性是把双刃剑,能否合理使用,直接关系到临床用药安全。本综述通过检索相关中文数据库,总结了2015版《中华人民共和国药典》(一部)收载的83
目的:为探讨运动员在葡萄糖和亮氨酸干预后心肌能量代谢的调控机制,拟建立运动大鼠模型阐述运动员心肌的结构和功能的变化机制。Beclin-1和LC-3II作为衡量自噬活性的关键蛋白
连杆的主要作用是将活塞的上下往复运动转换为曲轴的旋转运动,也就是说,它是传力杆件。连杆主要承受活塞传递下来的压力、弯矩以及扭矩力。在汽油燃烧期间,会承受巨大的燃气
目的:探究动态血清S100B蛋白浓度监测及血糖变异性对脑出血患者近期预后的评估意义。方法:选取笔者所在医院收治的70例急性脑出血患者为试验组,采用免疫荧光层析法对S100B蛋
(一)1915年冬,恽代英和沈葆秀结成夫妻。岳父母家人看到恽代英文质彬彬,又都知道他是名牌大学的高材生,都不住啧啧称赞。葆秀的四妹葆英,见二姐夫朴素大方、平易近人,也感到分