×

基于消息匹配的认证协议分析

消耗积分:5 | 格式:rar | 大小:117 | 2009-04-20

分享资料个

为了有效地分析和验证认证协议的安全性，找出协议的漏洞，介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模，吸取模型检测的思想，分析攻击者可能扮演的角色以及协议的执行规则，在此基础上逐步给消息和主体知识集中的变量进行赋值，并匹配消息中已被确定的常量，以此找出具体的攻击路径。同时，结合认证测试方法简化分析步骤，针对分析过程对协议进行有效的改进。
关键词：消息匹配；串空间；知识集；认证测试
下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !