论文部分内容阅读
介绍了BB84协议的Petri网建模方法,提出了一种建立在Petri网模型基础上的量子密钥分配协议的安全性分析方法,可动态地分析各个安全参数对安全性能的影响,提高量子密钥分配协议的安全性分析效率.
量子密钥分配协议的petri网建模分析
【摘 要】
：
介绍了BB84协议的Petri网建模方法,提出了一种建立在Petri网模型基础上的量子密钥分配协议的安全性分析方法,可动态地分析各个安全参数对安全性能的影响,提高量子密钥分配协
【机 构】
：
国防科学技术大学电子科学与工程学院 长沙 410073 中国
【出 处】
：
中国密码学会2007年年会
【发表日期】
：
2007年期
其他文献
从安全多方计算的观点出发,设计了一个保护隐私的联合求解线性方程组的协议,并严格地分析了协议的安全性。由于用同态加密体制代替了不经意传输协议,本协议比已有方案[1]在信
认证群密钥协商(AGKA)协议能为一群用户产生一个共享的会话密钥,使得群用户间能在公共数据网络进行安全通信。本文对文献[11]中提出的基于身份的多安全群组群密钥协商协议的
本文首先扩展了信任多集的方法用于无线安全协议的分析,并通过几个公开发表的无线安全协议对该形式化方法进行了示例.扩展的信任多集形式化方法的分析结果要么能证明该协议的
目的 探究在治疗牙体病时使用光固化复合树脂的治疗效果.方法 选取80例2018年-2019年经本院接诊的牙体病患者作为观察对象,使用掷骰子法将其分为双尖牙组和前牙组,每组40例,
设计了一个类似于Millen曾经构造的"ffgg"协议--"ffggΔ"协议,它们有共同的密码学性质.使用基于广义串空间模型的构造攻击对该协议进行分析,结果表明协议在非类型缺陷攻击下
目的 探讨横向骨搬运结合负压吸引技术(VSD)治疗糖尿病足效果.方法 选取2018年1月至2019年5月就诊于我院的60例糖尿病足患者为研究对象,均行横向骨搬运结合VSD治疗.比较治疗
目的 探讨尿系列微量蛋白测定在儿童肾脏损伤中的意义.方法 选取我院2017年3月-2019年3月时间段收治原发性肾病综合征患儿30例为观察组,选取同期30例正常儿童为对照组,两组均
在随机预言机模型下提出三种高效的n中选t的l-比特不经意传输协议.在第一中方案中,发送端的隐私是基于CT-CDH假设,而接收端的隐私是无条件安全的.这个基本协议需要O(nl)比特
会议
目的 探究早期糖尿病视网膜病变的临床状况.方法 病例选取时间:2017年1月-2019年1月,共选取本科室116例早期糖尿病视网膜病变患者进行此次研究,按患者意愿分为2组,对比组58例
本文提出了一种基于完全Bell测量的量子密钥分配协议.在协议的执行过程中Alice将EPR对中的一个量子比特发送给Bob, Bob收到该量子比特后与Alice配合随机选择对其执行量子超密
会议