导航: >> 安全论文>> 综合安全论文>>正文

安全协议的形式化分析技术与方法

文档作者: 薛锐 冯登国        文档来源: 中国科学院软件研究所信息安全国家重点实验室
点 击 数:
更新时间: 2016年06月14日
下载地址: 点击这里
文件大小: 1.06 MB
文档格式:       
下载点数: 1 点(VIP免费)
内容预览
如需编辑使用,请下载
注:预览效果可能会出现部分文字乱码(如口口口)、内容显示不全等问题,下载是正常的。
文件大小:1.06 MB      文件格式:
下载点数:1 点(VIP会员免费)

 对于安全协议的形式化分析方法从技术特点上做了分类和分析. 对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结. 根据作者的体会,从纵向和横向两个角度进行了总结. 纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结. 横向方面主要从所应用的技术手段、技术特点入手,进行总结分析. 说明了目前协议形式化分析发展的主要方向. 对于目前国际流行的方法和模型进行了例解.

收藏本页到会员中心
网友评论 more
创想安科网站简介会员服务广告服务业务合作提交需求会员中心在线投稿版权声明友情链接联系我们
Baidu
map