论文部分内容阅读
从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并给出了实例.
几种密码协议验证工具的比较和分析
【摘 要】
：
从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设
【机 构】
：
解放军信息工程大学电子技术学院,郑州 450004
【出 处】
：
全国第18届计算机技术与应用学术会议(CACIS)
【发表日期】
：
2007年期
其他文献
网络流量信息的监测对于网络管理、容量规划、服务质量分析、网络优化和设计等起到非常重要的作用。本文在分析、利用已有网络流量监测技术的基础上,提出了一个大规模异构网
会议
河南省驻马店地区原财政局长苏有存,是一九四四年入党,一九四五年参加革命的干部.一九六四年他由部队转业到信阳地区财政局工作,一九六八年起任驻马店地区财政局局长.由于他
分布式防火墙使基于访问控制点的入侵检测系统难以实施。本文提出的基于层次化协作入侵检测系统的安全联动模型,具有部署方便、管理灵活,正确性和系统容错性高等特点,能够较
国际细胞研究组织(ICRO)是联合国教科文组织(UNESCO)的一个机构,于1962年6月在巴黎举行的组织会议上决定设立的,它的任务是促进有关细胞方面的研究工作,并规划国际的或地区
防火墙是网络安全中的核心设备,管理防火墙规则表特别在大型企业网络中将会非常复杂且容易出错。FDD(Firewall DecisionDiagram)设计方法解决了规则表的一致性、完整性和紧凑
编辑同志: 自从“植物生理通讯”改为定期的双月刊以来,对全国的植物生理工作者来说,确实起了很大鼓舞作用及推动作用,尤其是对我们西北区植物生理工作来说:对“通讯”的出
以147花椰菜和庆农65天2个花椰菜品种为试材,研究了影响花椰菜不定芽再生的各个因素,建立花椰菜高效离体再生体系.结果表明:基因型、外植体类型、激素的类型和配比等是影响花
椭圆曲线密码体制中关键运算是椭圆曲线点群上的标量乘(或点数乘)运算,本文针对目前椭圆曲线公钥密码系统的研究重点─椭圆曲线标量乘算法,对几种标量乘算法进行了分析,并提
策略是广告运动的灵魂在媒体越来越碎片化的时代,做媒体策略越来越难,可媒体策略却越来越重要。策略的正确与否直接决定传播效果。如何去推广?费用如何花?如何花在刀刃上?刘