论文部分内容阅读
在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协议分析的过程,证明了该协议在机密性和认证性方面的正确性,并分析了该协议存在的安全缺陷。
基于串空间模型的Andrew安全RPC协议分析
【摘 要】
：
在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协议分析的过程,证明了该协议在机密性和认证性
【机 构】
：
河南省教育信息中心
【出 处】
：
电脑编程技巧与维护
【发表日期】
：
2012年4期
其他文献
从数据备份的定义和分类出发,分析了传统数据备份的局限性。阐述了目前企业广泛采用的网络数据备份系统的构建原则和备份策略,对系统的主流架构方式的优缺点进行了分析,最后
本文通过CLASS调查研究了学生对物理学和物理思维方式的认知度和认同度,我们发现虽然大多数学生非常了解物理学工作者对于物理学和学习物理的看法,但他们并不认为这些看法对
摘 要;培养基层“实用型”医学人才必须加强“物理诊断”的教学,明确了“物理诊断”的概念,并用事例说明问诊的重要性,在教学中通过分医患角色等手段进行问诊方法与技巧的训
绿色建筑正从高数量发展向高质量发展转变,如何节约资源、保护环境和减少污染,打造健康、适用、高效的使用空间,提升成为科研类建筑设计的重点。本文以河北工程大学新校区能
以数据备份和恢复的设计与实现为例,介绍了MVC模式和XML技术。在MVC模式和XML技术的融合下实现的数据备份和恢复不仅具有很好的可维护性,而且能准确地进行数据备份和恢复,确
建设工程领域的招投标中,经常会因违法、违规导致中标结果无效。中标无效后,招标人会面临选择重新招标,还是选择重新评标确定新的中标人的两难境地。而《中华人民共和国招标