【摘 要】
：
密码协议为网络中信息共享提供基础的安全环境,对保证网络被安全可靠的使用具有重要作用。文章阐述了密码协议的概念,分析了密码协议设计与分析所面临的困境,介绍了密码协议
【机 构】
：
解放军理工大学指挥信息系统学院研究生2队,解放军理工大学指挥信息系统学院,
论文部分内容阅读
密码协议为网络中信息共享提供基础的安全环境,对保证网络被安全可靠的使用具有重要作用。文章阐述了密码协议的概念,分析了密码协议设计与分析所面临的困境,介绍了密码协议计算可靠和面向协议实现的形式化分析方法,对密码协议的研究与发展情况进行了归纳总结。
Cryptographic protocols provide a secure environment for information sharing in the network and play an important role in ensuring the safe and reliable use of the network. The article expounds the concept of cryptographic protocols, analyzes the difficulties faced in the design and analysis of cryptographic protocols, and introduces the formal analysis methods of cryptographic protocols that are computationally reliable and protocol-oriented. Finally, the research and development of cryptographic protocols are summarized.
其他文献
Objective: To study the prevalence of Trichomonas vaginalis(TV) infection in Chinese male patients with nongonococcalurethritis (NGU), to evaluate the sensitivi
Objective:The aim in this study was to identify the allelicfrequencies of the chemokine (SDF1-3’A) and chemokinereceptor (CCR5A32, CCR5m303 and CCR2-64I) genes
Objectives:This article aims to summarize a series of contingency management strategies of the Nursing Department in the centralized treatment of patients with
本研究以全国10个地区30个甘薯主栽品种为材料，对甘薯RAPD和AFLP指纹图谱的构建进行了探讨。从102个RAPD引物中筛选出26个多态性丰富的引物用于PCR扩增，共扩增出255条多态性条
棉花是世界上重要的经济作物,在国民经济中具有重要的作用。棉花也是一种研究植物多倍体化、细胞伸长和细胞壁生物合成极好的模式系统。棉花果类型枝有长果枝和短果枝两种,生产上使用的棉花品种主要是长果枝品种,缺乏短果枝品种。短果枝品种不仅能高效利用光能、地力,而且可以增加单位面积种植株数,提高棉花产量。此外,种植短果枝品种可以简化整枝过程,更适宜机械化采摘。因此,研究棉花短果枝形成的机理对棉花育种具有重要意
试验于2004年9月～2005年6月在中国农业科学院作物科学研究所中圃场试验农场进行。主要研究土壤高有机质含量条件下,氮肥运筹对强筋冬小麦产量、生理及品质的调控效应。供试品
现代领导者都要依据信息进行决策、计划、组织和控制。科学化的决策过程对信息的依赖愈来愈强,要求越来越高。怎样灵敏、及时、有力地向决策领导层反馈准确、完整、足量、适
玉米打底叶可以提高收获指数(HI)(Croekett等,1980)。Ferris(1980)通过对大量马齿型玉米杂交种的两年研究,发现打底叶可以使80％的杂交种HI提高。HI平均增长10％,其变异幅度从-1
Objective:To introduce the emergency management of nursing human resources and supplies of a large general hospital when facing the outbreak of coronavirus dise
绪言植物组织培养技术虽然是门新兴的学科,但随着现代科技的发展和环境制御手段的进步,这一技术正被越来越广泛地应用于植物育种上。但是由于木本植物的细胞培养技术,增殖技