菜单
1.2.2 安全协议形式化分析方法的分类
安全协议形式化分析方法主要分为以下几类[4,5,10,11,12]:模态逻辑方法、模型检测方法、定理证明方法。
(1)模态逻辑。由一些推理规则组成命题,表示主体对消息的知识或信仰,运用推理规则可以从已知的知识和信仰推导出新的知识和信仰。模态逻辑方法主要包含以BAN逻辑、类 BAN逻辑。BAN逻辑是最早的以逻辑形式提出的方法,它的一个重要特点是简单直观、易于掌握。但是,BAN 逻辑还存在语义的不完备等问题。后来,许多研究以 BAN 逻辑为基础,通过一定的改进或扩展,提出了新的逻辑方法--BAN 类逻辑。BAN 类逻辑因其简单、直观、易用性而受到很多人的欢迎。
共4页:
上一页
1
2
3
4
下一页
上一篇:
基于智能手机的通用教学互动系统的设计实现
下一篇:
JFinal的JSP代购门户网站的设计与实现
基于MATLAB的图像增强算法设计
jsp+sqlserver高校二手商品交...
基于Kinect的手势跟踪与识别算法设计
JAVA基于安卓平台的医疗护工管理系统设计
java+mysql设备监控记录的大...
基于核独立元分析的非线...
基于Hadoop的制造过程大数据存储平台构建
中考体育项目与体育教学合理结合的研究
java+mysql车辆管理系统的设计+源代码
十二层带中心支撑钢结构...
当代大学生慈善意识研究+文献综述
酸性水汽提装置总汽提塔设计+CAD图纸
乳业同业并购式全产业链...
河岸冲刷和泥沙淤积的监测国内外研究现状
杂拟谷盗体内共生菌沃尔...
大众媒体对公共政策制定的影响
电站锅炉暖风器设计任务书
主页
计算机
机械
自动化
关闭菜单
栏目
毕业论文
计算机论文
经济论文
生物论文
数学论文
物理论文
机械论文
新闻传播论文
音乐舞蹈论文
法学论文
文学论文
材料科学
日语论文
英语论文
化学论文
自动化
管理论文
艺术论文
会计论文
土木工程
电子通信
食品科学
教学论文
医学论文
体育论文
论文下载
研究现状
任务书
开题报告
外文文献翻译
文献综述
范文
菜单
毕业论文
刷新
分享
收藏
关于
关闭
关闭
分享本页
返回
关闭
暂无收藏
全部清除
关闭菜单
About
751论文网手机版...
主页:
http://www.751com.cn
关闭
返回