论文部分内容阅读
基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法,利用该方法可以对密码协议的安全性质以程序化的方式进行验证.通过对EKE协议进行的分析,不但证明了协议已知的漏洞,而且发现了针对EKE协议的一个新的攻击--并行会话攻击.很好地验证了该新方法对密码协议的分析能力.
基于逻辑编程的EKE协议分析
【摘 要】
：
基于逻辑编程规则及Spi演算提出了一种验证密码协议安全性的新方法,利用该方法可以对密码协议的安全性质以程序化的方式进行验证.通过对EKE协议进行的分析,不但证明了协议已
【机 构】
：
解放军信息工程大学电子技术学院,郑州,450004解放军防空兵指挥学院,郑州,450052;解放军信息工程大学电子技术学院,郑州,450004;
【出 处】
：
计算机工程
【发表日期】
：
2007年5期
其他文献
快递业作为物流业和服务业的重要组成部分，自上个世纪90年代以来，以其准确、快捷和优质的服务在我国取得了惊人的发展速度。快递业在促进我国对外贸易、提高社会生产效率、满足
本文通过对荣华二采区10
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在我国经济快速发展时期，集团客户作为各家银行的大客户，在给银行带来较大收益的同时也隐藏着巨大的风险，比如蓝田、德隆系等一系列事件的出现，涉及债权银行众多，信贷金额巨大，所涉
经济学人力资本理论和经济发展的实践说明，随着经济的发展，在资本构成中，人力资本比物质资本、货币资本将起更大的作用。从经济增长与教育投资的关系上看，经济增长是物质资本和人
应用层组播网络由于是构造在基础网络之上的覆盖网络,因此在应用层组播路由中产生了共享拥塞链路问题.根据共享拥塞链路的不同特点,提出了一种新的基于组播会话流而改变组播
开发区作为我国改革开放的产物，通过20多年的建设发展，无论是经济发展还是城市建设都取得了巨大的成就，但不可避免的也存在着许多问题与挑战，尤其是缺乏有效的监管方式和退出机制
2006年9月20日，中国石化的股改方案经国务院国资委批复通过，至此沪深两市大市值股票全部通过股改，中国的证券市场进入“股权全流通时代”。在“股权金流通时代”，一方面名义上两
多元音乐文化教学主要是指音乐课程的设计多元化,融合多民族的音乐特点,制订综合多方面的教学计划。初中音乐在进行课堂教学的时候,教师要注重给学生提供多民族的音乐,让学生
《义务教育语文课程标准》(2011年版)指出:写作是运用语言文字进行表达和交流的重要方式,是认识世界、认识自我、创造性表述的过程。在小学语文教学中,作文是衡量学生语文学
期刊