安全管理网

安全协议的形式化分析方法研究

文档作者: 陈平 刘东喜 白英彩        文档来源: 上海交通大学计算机科学与工程系
点 击 数:
更新时间: 2016年06月14日
下载地址: 点击这里
文件大小: 2.43 MB
文档格式:       
下载点数: 1 点(VIP免费)
内容预览
如需编辑使用,请下载
注:预览效果可能会出现部分文字乱码(如口口口)、内容显示不全等问题,下载是正常的。
文件大小:2.43 MB      文件格式:
下载点数:1 点(VIP会员免费)

安全协议在网络信息安全中扮演着重要角色, 但保证安全协议的正确是一个很困难的问题。现在, 许多形式化方法都被用来分析安全协议, 本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。
 

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