资料下载
×
基于消息匹配的认证协议分析
消耗积分:5 |
格式:rar |
大小:117 |
2009-04-20
分享资料个
为了有效地分析和验证认证协议的安全性，找出协议的漏洞，介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模，吸取模型检测的思想，分析攻击者可能扮演的角色以及协议的执行规则，在此基础上逐步给消息和主体知识集中的变量进行赋值，并匹配消息中已被确定的常量，以此找出具体的攻击路径。同时，结合认证测试方法简化分析步骤，针对分析过程对协议进行有效的改进。
关键词：消息匹配；串空间；知识集；认证测试
关键词：消息匹配；串空间；知识集；认证测试
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
