节点文献
基于知识结构的认证协议验证
【摘要】 认知逻辑的Kripke语义,已被成功地运用到分析无黑客存在的安全网络下的通信协议.提出认知逻辑的Kripke语义的一种简单而自然的形式,称之为知识结构,并把这种语义用到分析黑客存在的非安全网络环境中的通信协议,特别是认证协议.与类BAN的那一类逻辑相比,文中的方法可以直接转化成算法实现,对协议本身进行操作,而不需对协议进行一些难以把握的抽象判断.而且,在这套理论的基础上开发了安全协议分析器SPV.文中的方法是基于证明的而不是证伪的,即证明协议的正确性而不是找协议漏洞.
【基金】 国家自然科学基金(批准号：60496327，10410638，60473004);广东省自然科学基金团队项目(批准号：04205407);教育部留学回国人员科研启动基金;上海市智能信息处理重点实验室(筹)开放课题资助项目
- 【文献出处】 中国科学E辑:信息科学 ,Science in China,Ser.E , 编辑部邮箱 ,2005年04期
- 【分类号】TN918
- 【被引频次】16
- 【下载频次】215