论文部分内容阅读
形式化分析方法是目前安全协议验证的主流方法.通过对常用的几种形式化验证方法进行概述和分析,论述了模态逻辑、模型检测技术在安全协议验证中的应用,介绍了各种定理证明方法和工具,并讨论其他形式化验证方法和形式化方法的一些研究方向.
安全协议的形式化分析方法
【摘 要】
：
形式化分析方法是目前安全协议验证的主流方法.通过对常用的几种形式化验证方法进行概述和分析,论述了模态逻辑、模型检测技术在安全协议验证中的应用,介绍了各种定理证明方
【机 构】
：
焦作大学
【出 处】
：
光盘技术
【发表日期】
：
2008年3期
其他文献
基于多媒体学习认知理论,分析学习者在利用多媒体进行外语学习时的信息加工规律,结合大学英语教师信息素养中的信息处理能力和整合能力,提出多媒体教学设计的七个原则,探讨符
1 前言西安城市燃气包括天然气、焦炉煤气、液化石油气及其他,为了补充煤气用户高峰用气需要而生产的水煤气,早已停产;两年后焦炉煤气也将退出市场;天然气是清洁能源,天然气
摘 要:电脑如今已进入我们的生活、学习和工作等各个领域,在数码技术大行其道的今天,电脑在给我们带来极大的方便和乐趣的同时,也给我们带来了一些麻烦,每个使用过电脑的人恐怕部件、应用程序及关键的数据文件或杀毒软件在消除病毒的同时对正常的文件进行了误操作,破坏了正常文件的结构。碰到这类问题,只能将被损坏的系统或软件重装。 关键词:环境;软件;硬件 中图分类号:TP307 文献标识码:A The
为了敦促用户尽快停止使用废旧煤气热水器，保障用气安全，近日济源中燃城市燃气发展有限公司推出了热水器以旧换新优惠活动。燃气热水器达到使用寿命后有可能出现燃气泄漏以及燃
本文提出了一种利用策略路由、网络地址转换和策略DNS技术来解决多出口网络环境中出口的设计方案,该方案充分利用了教科网和本地ISP的优势,并在学校的网络中得到实际应用,是
DDoS的攻击隐蔽性强、涉及范围广、实现简单且破坏力强,如果现代图书馆网络没有采取有效的应对措施,DDoS攻击会造成图书馆网络瞬间流量剧增而致使系统瘫痪,这将严重影响图书
对于目前发展越来越快的电视技术,网络化是现在也是将来发展的趋势,电视台目前也都相继建立了相对独立的新闻制作网、广告编播网、非线性编辑制作网、数字硬盘播出系统、办公
针对电力系统中谐波监测问题,提出了一种基于MSP430单片机实现小波变换,采对电力系统中Rogowski线圈采集电流信号的谐波分析与研究.系统通过430F449内部自带的ADC12模块实现
视频会议系统为用户提供可视会议服务,实现多方的音频和视频交流,本文讨论了视频会议系统的一些关键技术,以及其在防汛通信工作中的应用经验。