安全管理网

安全协议形式化分析工具比较研究

文档作者: 陆思奇1 2 程庆丰1 2 赵进华3        文档来源: 1. 洛阳外国语学院 2. 中国科学院信息工程研究所 3. 信息保障技术重点实验室
点 击 数:
更新时间: 2016年06月23日
下载地址: 点击这里
文件大小: 1.68 MB
下载点数: 1 点(VIP免费)
抱歉!由于手机插件的原因,手机无法预览此内容。请使用电脑打开。
文件大小:1.68 MB      文件格式:
下载点数:1 点(VIP会员免费)

形式化分析方法已经成为协议分析的主流方法之一. 目前, 国内针对形式化分析工具的研究很少, 工具之间的比较研究也不够充分. 一方面, 当前比较研究存在参比工具较少以及参比性能不全面的问题, 另一方面, 大部分比较研究仅停留在理论比较, 并没有提供实验数据.

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