【摘 要】
：
传统对称密钥加密协议的加密和解密速度较快,但用户无法进行身份认证,容易造成通信代理持有密钥过多导致管理困难的问题,而非对称密钥加密协议可实现用户的合法身份认证,但密
【机 构】
：
苏州大学计算机科学与技术学院,常熟理工学院计算机科学与工程学院,国网电力科学研究院
【基金项目】
：
江苏省自然科学基金面上项目(BK20191475),2020年度江苏省第五期“333工程”科研资助项目(BRA2020306),江苏省高校“青蓝工程”中青年学术带头人培养对象资助项目(2019),国家电网公司科技项目
论文部分内容阅读
传统对称密钥加密协议的加密和解密速度较快,但用户无法进行身份认证,容易造成通信代理持有密钥过多导致管理困难的问题,而非对称密钥加密协议可实现用户的合法身份认证,但密钥复杂度高,使其在处理大容量消息时运行速度较慢。为解决上述问题,结合对称和非对称密钥加密方式,构建D_protocol混合密钥加密协议。使用Isabelle/HOL定理证明辅助工具对D_protocol协议建立通信代理和消息序列的形式化模型,采用形式化操作语义描述用户行为,通过归纳分析方式对通信协议消息交互过程涉及的相关定理展开验证,结果表明D
其他文献
不稳定型心绞痛是介于稳定型心绞痛和急性心肌梗死之间的一组综合征,极易发展为急性心肌梗死和猝死,选择适当的治疗对改善预后有重要意义.近年来不稳定型心绞痛倾向于应用抗
随着应用领域的分化,中国大陆在集成电路制造领域技术水平不断取得突破,在先进与特色工艺的技术研发和产业化等方面取得了显著进展。中国大陆集成电路制造技术与国际领先技术
针对已有音频可逆隐写算法失真较大的问题,提出一种基于采样值排序的改进音频可逆信息隐写算法。将音频采样值序列划分为固定大小的采样块,对采样块内部的采样值进行升序排列
目的了解哈尔滨市4~5岁留守儿童心理发育状况及监护人焦虑、抑郁因素,为进一步进行早期干预提供科学依据。方法采用病例对照研究设计,选取哈尔滨市10所幼儿园156名4~5岁城市