安全管理网

基于串空间模型安全协议形式化分析方法的研究

文档作者: 董军 杨秀娟 赵艳芹        文档来源: 黑龙江科技学院计算机与信息工程学院
点 击 数:
更新时间: 2016年06月23日
下载地址: 点击这里
文件大小: 288.96 KB
文档格式:       
下载点数: 1 点(VIP免费)
内容预览
如需编辑使用,请下载
注:预览效果可能会出现部分文字乱码(如口口口)、内容显示不全等问题,下载是正常的。
文件大小:288.96 KB      文件格式:
下载点数:1 点(VIP会员免费)

从串空间模型理论人手,提出了三种典型的串空间形式化方法(基于极小元理论的串空间方法、基于理想与诚实理论的串空间方法、基于认证测试理论的串空间方法),并对每一种方法的证明步骤及优缺点进行了分析。在此基础上,应用提出的串空间方法对Yahalom协议的秘密性和认证性进行了分析。分析结果表明利用不同方法的优点,能更好地保证安全协议形式化分析的准确性。

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