文档作者：
薛锐 冯登国
文档来源：
中国科学院软件研究所信息安全国家重点实验室 |
点 击 数：
|
更新时间： 2016年06月14日 |
|
下载地址： 点击这里 |
文件大小： 1.06 MB |
文档格式：
|
下载点数： 1 点（VIP免费） |
文件大小：1.06 MB 文件格式： 下载点数：1 点（VIP会员免费） |
|
对于安全协议的形式化分析方法从技术特点上做了分类和分析. 对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结. 根据作者的体会,从纵向和横向两个角度进行了总结. 纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结. 横向方面主要从所应用的技术手段、技术特点入手,进行总结分析. 说明了目前协议形式化分析发展的主要方向. 对于目前国际流行的方法和模型进行了例解.   |
|
服务器虚拟化安全措施…风险社会与风险治理风险投资的风险防范及…试论危岩稳定性评价与…安全文化助力核电企业…云计算安全防护技术探…云计算安全性探讨云计算下网络安全技术…
浅谈如何做好安全生…
浅析安全生产管理措…浅析安全生产管理的…浅谈安全生产监督管理浅析安全生产事故频…网络安全存在的问题…浅析安全生产监管工…浅谈安全生产风险管…
全屏查看