安全管理网

安全协议形式化分析方法

文档作者: 韩继红 郭渊博 王亚弟        文档来源: 信息工程大学电子技术学院
点 击 数:
更新时间: 2016年06月23日
下载地址: 点击这里
文件大小: 428.73 KB
文档格式:       
下载点数: 1 点(VIP免费)
内容预览
如需编辑使用,请下载
注:预览效果可能会出现部分文字乱码(如口口口)、内容显示不全等问题,下载是正常的。
文件大小:428.73 KB      文件格式:
下载点数:1 点(VIP会员免费)

安全协议的形式化分析是检验协议安全性的必要手段。为了实现协议的规范描述和合理完备的安全性验证,各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域。主要从逻辑方法、模型检测方法和证明方法3个方面对符号化的安全协议形式化分析方法进行了综述,并指出了今后该领域的研究方向。

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