菜单
　　

    2.3.1 Casper/FDR工具
        CSP[11]（Communication Sequential Process）是由牛津大学的C.A.R.Hoare提出的用于并行系统设计和分析的代数理论。Formal Systems LTd.公司基于CSP研究出了通用模型检测工具FDR[12]（Failure Divergence Refinement）。由于直接使用CSP来描述协议非常困难，于是开发出了Casper[13]软件，Casper软件可以极大的简化了FDR工具的操作复杂度并降低了使用难度。
    2.3.2 AVISPA工具
        AVISPA[14]（Automated Validation of Internet Security Protocols and Application）项目旨在开发一个工业级技术，来分析大型安全协议。AVISPA工具采用HLPSL（High Level Protocol Specification Language）语言建立安全协议的分析模型。已从33个工业级的安全协议中检测出215个安全问题。分析终端共包含4种后端分析工具，包括OFMC、CL-AtSc、SATMC和TA4SP。如果协议不安全，该工具会给出攻击路径，可以以此找出协议的安全漏洞。
    2.4 本章小结
    本章介绍了安全协议的基本概念，安全协议的常见攻击方法，安全协议的设计规范以及安全协议的分析方法等相关背景知识。并对安全协议形式化分析所用到的模型检测工具进行了简要介绍。
  1. 上一篇：基于Web搜索引擎的CAPTCHA构造方法实现
  2. 下一篇：基于遗传算法的测试用例自动生成技术研究

  1. 基于MATLAB的图像增强算法设计

  2. jsp+sqlserver高校二手商品交...

  3. 基于Kinect的手势跟踪与识别算法设计

  4. JAVA基于安卓平台的医疗护工管理系统设计

  5. java+mysql设备监控记录的大...

  6. 基于核独立元分析的非线...

  7. 基于Hadoop的制造过程大数据存储平台构建

  8. 中考体育项目与体育教学合理结合的研究

  9. 当代大学生慈善意识研究+文献综述

  10. java+mysql车辆管理系统的设计+源代码

  11. 乳业同业并购式全产业链...

  12. 河岸冲刷和泥沙淤积的监测国内外研究现状

  13. 杂拟谷盗体内共生菌沃尔...

  14. 酸性水汽提装置总汽提塔设计+CAD图纸

  15. 电站锅炉暖风器设计任务书

  16. 十二层带中心支撑钢结构...

  17. 大众媒体对公共政策制定的影响

　　

About

751论文网手机版...

主页：http://www.751com.cn

关闭返回