【摘 要】
：
在高度信息化社会,各种安全的密码协议是保证网络空间中众多应用所必须的安全性以及公平性的必要技术手段.由于密码协议的安全漏洞会给网络空间应用带来严重的安全问题,甚至
论文部分内容阅读
在高度信息化社会,各种安全的密码协议是保证网络空间中众多应用所必须的安全性以及公平性的必要技术手段.由于密码协议的安全漏洞会给网络空间应用带来严重的安全问题,甚至造成不可估量的损失,因此密码协议的安全性分析成为重要课题.目前,作为基于证明的形式化分析方法,定理证明方法和模型检测方法被广泛用于密码协议形式化分析.这些方法是通过预先列举出安全性目标,然后证明和检测密码协议是否满足这些目标,进而证实密码协议是否隐含有安全漏洞.基于证明的密码协议形式化分析方法在原理上的缺点是,如果预先列举的安全性目标有遗漏,那么
其他文献
文中分析龙岩市大型连锁超市节日配送存在需求预测失真、配送模式落后,配送管理压力大、供应商管理不善等一系列问题,并针对这些问题进行剖析,再提出解决办法,从而保证龙岩市
目的:浆细胞样树突状细胞(Plasmacytoid dendritic cells,pDC)在体内作为树突状细胞(dendritic cells,DC)的一个亚型,发挥着重要的免疫学效应,是近来研究的热点。pDC在其不成
目的:探讨影响胃肠道间质瘤(gastrointestinal stromal tumor,GIST)预后的临床病理因素及免疫组化指标,为GIST的临床治疗和预后分析提供依据。同时进一步证实新的Flecther分
【正】 马列主义创始者的学说,马克思、恩格斯、列宁、斯大林对于人类社会发展问题的观点以及他们所揭示的这种发展的最重要的规律性,所有这些都创造了历史科学的发展基础。
探讨文学批评存在的可能性问题对文学批评自身的建设深具价值。在当前多元的思想与文化语境下,需要确立马克思人学批评的主导性地位,以寻求一元主导下的多样化形态并存的文学
Ship maneuvering in waves includes the performance of ship resistance, seakeeping, propulsion, and maneuverability. It is a complex hydrodynamic problem with th
推广普通话工作直接关系到国家的统一、民族的团结和社会的进步与稳定,关系社会主义建设和各项事业的发展,涉及国家核心利益。推广普通话是国策,应当城乡同步,和谐发展。在农
国有企业新能源生产和资金投入过程中，必须要对生产成本进行有效地分析和控制，不能盲目地追求新能源建设，要将能源建设与成本分析控制结合起来，建立起以成本分析模式、项目投产后
本文对防人因失误的管理方法及防人因失误工具进行了系统的总结,提出了适用于工程建设阶段的五步工作法、培养质疑的工作态度、严谨的工作方法、应用质保监查/监督、总结提高
近年来,改革开放政策不断推动新兴产业和第三产业的发展,旅游区的建设水平也在不断提高,旅游区翻译问题也频频成为热门话题。该文以高句丽世界文化遗产的景点介绍、宣传手册