论文部分内容阅读
形式化分析方法是目前安全协议验证的主流方法.通过对常用的几种形式化验证方法进行概述和分析,论述了模态逻辑、模型检测技术在安全协议验证中的应用,介绍了各种定理证明方法和工具,并讨论其他形式化验证方法和形式化方法的一些研究方向.
安全协议的形式化分析方法
【摘 要】
：
形式化分析方法是目前安全协议验证的主流方法.通过对常用的几种形式化验证方法进行概述和分析,论述了模态逻辑、模型检测技术在安全协议验证中的应用,介绍了各种定理证明方
【机 构】
：
焦作大学
【出 处】
：
光盘技术
【发表日期】
：
2008年3期
其他文献
1 前言西安城市燃气包括天然气、焦炉煤气、液化石油气及其他,为了补充煤气用户高峰用气需要而生产的水煤气,早已停产;两年后焦炉煤气也将退出市场;天然气是清洁能源,天然气
摘 要:电脑如今已进入我们的生活、学习和工作等各个领域,在数码技术大行其道的今天,电脑在给我们带来极大的方便和乐趣的同时,也给我们带来了一些麻烦,每个使用过电脑的人恐怕部件、应用程序及关键的数据文件或杀毒软件在消除病毒的同时对正常的文件进行了误操作,破坏了正常文件的结构。碰到这类问题,只能将被损坏的系统或软件重装。 关键词:环境;软件;硬件 中图分类号:TP307 文献标识码:A The
对于目前发展越来越快的电视技术,网络化是现在也是将来发展的趋势,电视台目前也都相继建立了相对独立的新闻制作网、广告编播网、非线性编辑制作网、数字硬盘播出系统、办公
针对电力系统中谐波监测问题,提出了一种基于MSP430单片机实现小波变换,采对电力系统中Rogowski线圈采集电流信号的谐波分析与研究.系统通过430F449内部自带的ADC12模块实现
视频会议系统为用户提供可视会议服务,实现多方的音频和视频交流,本文讨论了视频会议系统的一些关键技术,以及其在防汛通信工作中的应用经验。