密码协议形式化分析的计算合理性

来源 :微计算机信息 | 被引量 : 0次 | 上传用户:Java8657
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性。
其他文献
自从发明溶胶凝胶方法第一天起,100多年以来该方法一直被广泛应用于金属氧化物材料的合成,人们利用该方法已经合成了大量的氧化物功能材料,是最为普及的材料合成方法之一。除
会议
  本文以川高集团基层单位绩效考核办法为基础,分析了高速公路企业建立基层单位绩效考核的一般原理。提出基层单位运营绩效的好坏,不能单以通行费收入的多寡简单判断,应以管理
本文是根据甘肃能源化工职业学院如何开展物联网应用技术专业人才培养模式的探索,通过该课题的研究,分析和总结校企共培、协同育人教学模式在推动高职教育教学改革方面发挥的
研究了以环戊烯为原料、叔丁醇为溶剂,在固体酸/SiO2 催化剂存在下进行氧化反应合成戊二醛的新方法。在n(双氧水)/n(环戊烯)=(2.00~2.05)/1,m(催化剂)/m(环戊烯)=(0.4~0.5)/1,催化剂焙烧温
方程是初中数学的重要内容,也是将数学知识和现实生活问题联系起来的枢纽,所以方程教学一直是教育研究的重点和热点。方程教学不仅仅是教授方程基础知识和解方程这一基本技能
通过对埋入式钢柱脚低周反复荷载作用下的试验研究,分析了埋深比和栓钉布置方式对柱脚节点抗震性能的影响。采用ABAQUS有限元程序,对埋入式柱脚在反复荷载作用下进行了非线性有
本文以"金砖国家"为例,利用定性向量自回归(Qual VAR)模型实证检验了流动类工具、信贷类工具、资本类工具以及税收类工具等宏观审慎政策的有效性。研究表明,信贷类、税收类等
主要介绍了刨煤机工作面液压支架电液控制系统的工作原理及其特点,子控机和主控机的硬件组成及其功能,和采用CAN总线的系统通信。
综述近年来国内开发应用的蝮蛇抗栓酶滴鼻剂、软膏剂、乳剂、溶液剂、涂膜剂、膜剂等新剂型及其临床疗效.
生物药剂学是近几十年来迅速发展起来的一门新兴学科.这是门通过研究药物及其剂型在体内的吸收、分布、代谢和排泄过程,阐明药物的剂型因素、机体生物因素和药物疗效之间相互