【摘 要】
：
对于密码协议而言,安全性是其最核心的关键问题,对于量子密码协议来说也一样。研究人员可以通过各种手段证明这些协议是安全的,但存在极大的困难,因为这对数学功底有着很高的
【机 构】
：
电子科技大学大数据研究中心,电子科技大学计算机科学与工程学院
论文部分内容阅读
对于密码协议而言,安全性是其最核心的关键问题,对于量子密码协议来说也一样。研究人员可以通过各种手段证明这些协议是安全的,但存在极大的困难,因为这对数学功底有着很高的要求。该文利用全自动化的技术——模型检测,采用了形式化验证方法,即基于概率的模型检测工具PRISM,来对半量子密码协议进行建模并验证其安全性。该方法避免了传统基于数学方法验证的繁杂,提高了验证的速度和效率。验证的结果也表明,当传输足够多的光子时,检测出窃听的概率无限趋近于1,和全量子密码协议一样,半量子密码协议也是安全的。
其他文献
介绍了一种用于脉冲燃烧风洞高超重载模型冷、热态测力试验的腹支内式六分量应变天平研制方案。燃烧脉冲风洞试验时间短、冲击载荷大,模型重量大,要求天平能够快速响应,设计
安全工程高等教育带动了我国安全教育的全面深入发展;安全工程专业教育内容有明确的知识领域与应用领域;现代安全观认为:安全就是人、经济、环境与技术综合功能的最优化.本文
主动脉旁反搏装置作为治疗心力衰竭的心脏辅助装置,装置腔内的流场结构对装置的机理分析及优化设计具有重要作用。将主动脉旁反搏装置简化为液囊模型,利用粒子成像测速仪（PIV）
摘要：由于近几年来城市道路建设不断发展，在加快了城市经济发展的步伐的同时，也出现了很多需要值得我们关注的问题。城市道路制约着城市经济的发展，城市道路施工技术的优劣决定了道路使用的稳定性和使用期限。因此，作为城市道路建设人员，加强自身的施工技术能力是关键，只有实现了对施工技术的灵活掌握和运用，才能实现对市政道路总体施工质量的大幅度提升，有效减少了后期维修养护的费用支出，即是对企业效益的最大化获取。
利用非接触的激光PLIF技术测量了在湍流贫燃预混燃烧中的OH自由基分布。以典型煤制合成气真实组分为基础进行工况设计，分为H2含量变化、CO/（CO＋CH4）相对比例变化、雷诺数变化和中
以精确的设计模式检测结果为目标,为解决设计模式识别的变体问题,提出一种基于文法产生式优化的设计模式识别方法,旨在使用可视化文法产生式描述设计模式参与者角色的属性与
通过实验成功发展了一种生成大振幅稳定条带的有效方法,即展向离散抽吸方法。在此基础上,开展条带控制边界层转捩的研究。实验在水洞中进行,以零压力梯度平板边界层为研究对