论文部分内容阅读
在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协议分析的过程,证明了该协议在机密性和认证性方面的正确性,并分析了该协议存在的安全缺陷。
基于串空间模型的Andrew安全RPC协议分析
【摘 要】
：
在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协议分析的过程,证明了该协议在机密性和认证性
【机 构】
：
河南省教育信息中心
【出 处】
：
电脑编程技巧与维护
【发表日期】
：
2012年4期
其他文献
韩氏穴位神经刺激仪加神经阻滞疗法在肩周炎的临床应用研究北京大栅栏医院（１０００５１）北京中日友好医院（１０００２９）董启智樊碧发我们用韩氏穴位神经刺激仪（ＨＡＮＳ）加神经阻滞疗法治疗８３例肩周炎患者，疗效满意，现
从数据备份的定义和分类出发,分析了传统数据备份的局限性。阐述了目前企业广泛采用的网络数据备份系统的构建原则和备份策略,对系统的主流架构方式的优缺点进行了分析,最后
本文通过CLASS调查研究了学生对物理学和物理思维方式的认知度和认同度,我们发现虽然大多数学生非常了解物理学工作者对于物理学和学习物理的看法,但他们并不认为这些看法对
人口老龄化已成为我国乃至世界面临的严峻问题。截至2019年底,我国65岁及以上人口数为1.76亿人,占全国总人口数的12.6%,有4000多万失能和半失能老年人。预计到2030年,全球65
ＨＩＥ的临床诊断及治疗进展黑龙江省鸡西市人民医院儿科（１５８１００）沈荣琨张丽明原淑芹新生儿缺氧缺血性脑病（ＨＩＥ），是指在宫内窘迫围产期窒息导致脑的缺氧缺血性损害，而临床出现一系列脑病的表现，多见
摘 要;培养基层“实用型”医学人才必须加强“物理诊断”的教学,明确了“物理诊断”的概念,并用事例说明问诊的重要性,在教学中通过分医患角色等手段进行问诊方法与技巧的训
绿色建筑正从高数量发展向高质量发展转变,如何节约资源、保护环境和减少污染,打造健康、适用、高效的使用空间,提升成为科研类建筑设计的重点。本文以河北工程大学新校区能
以数据备份和恢复的设计与实现为例,介绍了MVC模式和XML技术。在MVC模式和XML技术的融合下实现的数据备份和恢复不仅具有很好的可维护性,而且能准确地进行数据备份和恢复,确
胰岛素抵抗及其对策中国医科大学第二临床学院（１１０００３）刘英敏胰岛素抵抗（ｉｎｓｕｌｉｎｒｅｓｉｓｔａｎｃｅ，ＩＲ）是胰岛素分泌虽然正常，但机体靶组织器官对其反应性降低或丧失，故对胰岛素不敏感。也就是其生物活性异常，所以需要
建设工程领域的招投标中,经常会因违法、违规导致中标结果无效。中标无效后,招标人会面临选择重新招标,还是选择重新评标确定新的中标人的两难境地。而《中华人民共和国招标