论文部分内容阅读
提出了基于进化规划的安全协议生成方法，并用BAN逻辑来描述和验证协议，为进一步提高协议生成效率，降低协议蒲息的冗余度，加入了协议优化模块。该方法具有较高的扩展性，对于不同的需求，可以生成不同的安全协议。实验表明，本文方法能够成功、高效地生成安全协议，保证所生成协议的安全性。
基于进化规划的网络安全协议的自动生成
【摘 要】
：
提出了基于进化规划的安全协议生成方法，并用BAN逻辑来描述和验证协议，为进一步提高协议生成效率，降低协议蒲息的冗余度，加入了协议优化模块。该方法具有较高的扩展性，对于不同的
【机 构】
：
西安通信学院
【出 处】
：
现代电子技术
【发表日期】
：
2008年13期
其他文献
日前,从已经挺进世界500强的冀中能源传出消息,截至到6月27日,该集团安全生产原煤5600万吨,精煤1500万吨,销售收入达到1050亿元,利税突破62亿元,实现了时间过半任务超半。
【正】 根据年初广西农村金融学会常务理事会的决定,全区农行精神文明建设课研讨会于10月21日至22日在南宁召开。会议共收到论文60余篇,21位作者在会上发言。现将研究成果整
平面螺旋宽带天线具有频带较宽、体积较小、圆极化性能较好等特点，应用范围很广。但是这种天线增益较低，馈电匹配较难实现，尤其是前者，使得其性能大打折扣。通过研究影响平面螺旋
一前言近年来,自动光谱系统开始在国内炼钢快速分析领域逐步得到应用。该系统以计算机、机械臂、传送带、摄像头等装置代替人的思维与操作,与传统的手动操作相比,分析用时更
基于嵌入式系统对虚拟化环境的特殊要求，探讨如何设计虚拟机（VM）。针对工业实时控制，介绍了与第三方产品结合，把Intel虚拟化技术的好处拓展到应用中去。用虚拟化整合系统可以保证
根据Zdnet博客新闻显示，Windows7Milestone3版本已经释出（版本号6780），虽然消息来源称现在还不能放出任何画面，但是这个版本是真实存在的，并已经发放至微软内部、外部的测试人员手
随着高等教育从精荚化向大众化教育转变，高等教育经历了一个急剧扩张的时期，高等教育质量问题越来越成为当今教育关注的热点和方向。从利益相关者理论视角分析高等教育质量是质
近日，2012中国化学制药行业年度峰会在厦门召开．大会对国内众多企业品牌和药品品牌价值进行专业评价和结果论证．最终产生包括2012中国医药行业企业集团综合实力十强、2012中国化
一、绪论消防工作．是人们在同火灾斗争的过程中逐步形成和发展起来的一项专门工作．它具有安全保障的性质。在我国．消防工作是保卫社会主义现代化建设、保护公共财产和公民生命财