文档作者：
陆思奇1 2 程庆丰1 2 赵进华3
文档来源：
1. 洛阳外国语学院 2. 中国科学院信息工程研究所 3. 信息保障技术重点实验室 |
点 击 数：
|
更新时间： 2016年06月23日 |
|
下载地址： 点击这里 |
文件大小： 1.68 MB |
文档格式：
|
下载点数： 1 点（VIP免费） |
文件大小：1.68 MB 文件格式： 下载点数：1 点（VIP会员免费） |
|
形式化分析方法已经成为协议分析的主流方法之一. 目前, 国内针对形式化分析工具的研究很少, 工具之间的比较研究也不够充分. 一方面, 当前比较研究存在参比工具较少以及参比性能不全面的问题, 另一方面, 大部分比较研究仅停留在理论比较, 并没有提供实验数据.   |
|
安全生产无小事 企业…安全措施在大型起重船…网络安全的现状分析和…大型场所安全监控系统…服务器虚拟化安全措施…风险社会与风险治理风险投资的风险防范及…试论危岩稳定性评价与…
浅谈如何做好安全生…
浅析安全生产管理措…浅析安全生产管理的…浅谈安全生产监督管理浅析安全生产事故频…网络安全存在的问题…浅析安全生产监管工…浅谈安全生产风险管…
全屏查看