【摘 要】
：
本文在介绍了串空间模型的基本概念和定理的基础上,提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性和可鉴别性两个方面对改进型Otway-Rees协议
论文部分内容阅读
本文在介绍了串空间模型的基本概念和定理的基础上,提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性和可鉴别性两个方面对改进型Otway-Rees协议进行了分析,分析结果表明该改进型协议是安全的。
Based on the introduction of the basic concepts and theorems of the string space model, this paper proposes an improved Otway-Rees authentication protocol, and then uses the theory and method of the string space model to improve the confidentiality and identifiability of the improved version Otway-Rees protocol was analyzed, the results show that the improved protocol is safe.
其他文献
目的：探讨留置单腔中心静脉导管治疗胸腔积液的效果。方法对126例胸腔积液患者，采用单腔中心静脉导管引流代替传统的穿刺抽液及胸腔闭式引流术。结果减少了胸腔积液B超定位检查
目的：为了进一步提高我院治疗中晚期非小细胞肺癌的临床疗效，延长患者的生命，本文就肺癌合剂配合化疗治疗中晚期非小细胞肺癌的临床效果进行了浅显的研究和分析。方法选择我院在
本文简述了地板辐射采暖换热站间供系统改为混水直供方式供热的方行性和实用性.以图解的方式分析了改选前后循环泵变频运行时的特性曲线,对节能机理和混合比进行了重点阐述.
从吸收塔的水力特性和塔器设计出发,分析了吸收塔液泛的原因和控制手段,并根据其原因分别从填料的比表面积、填料层的空隙度、气相和液相的密度、液相粘度、液相流率等方面分
目的：探讨依巴斯汀联合玉屏风颗粒治疗慢性荨麻疹的的临床疗效。方法选择我院皮肤科门诊的慢性荨麻疹患者80例分为观察组和对照组各40例。两组均采用依巴斯汀进行治疗，观察组加
当前,我国对节能越来越重视,节能要求也越来越严格,这就更体现出锅炉给水处理的必要性.详细分析锅炉水处理的问题,综合采用各种水处理技术灵活组合,可以大大降低锅炉结垢速度
现浇钢筋混凝土板裂缝等问题日益突出,又是结构将要破坏的前兆
目的：分析比索洛尔依那普利和螺内酯联合风湿性心脏病慢性心衰的有效性。方法选取120例风湿性心脏病慢性心衰患者，将其随机平均分为观察组（n=60）和对照组（n=60），比较两组患者的治疗
目的：通过对226例老年人血尿酸检测探讨其与老年人糖调节受损（IGR）者的相关性及临床意义。方法回顾性分析226例体检的老年人的临床资料，年龄(71±7)岁，性别（男142人，女84人），根据入选
目的：探讨有效降低剖宫产率的相关因素。方法选择2011年8月1日至2012年7月31日在我院住院分娩的所有孕妇为对照组，同时选择2012年8月1日至2013年7月31日在我院住院分娩的孕妇为