安全管理网

安全协议形式化分析理论与方法研究综述

文档作者: 冯登国 范红        文档来源: 中国科学院软件研究所
点 击 数:
更新时间: 2016年06月27日
下载地址: 点击这里
文件大小: 690.80 KB
下载点数: 1 点(VIP免费)
抱歉!由于手机插件的原因,手机无法预览此内容。请使用电脑打开。
文件大小:690.80 KB      文件格式:
下载点数:1 点(VIP会员免费)

综述目前安全协议形式化分析的理论与方法,包括安全协议的分类与模型,安全协议形式化分析的3 种典型方法(基于推理的结构性方法,基于攻击的结构性方法,基于证明的结构性方法) ,安全协议分析的形式化语言,安全协议设计的形式化方法,以及安全协议形式化分析面临的挑战。

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