[00282808]一种基于漏洞攻击的安全协议验证方法

交易价格： 面议

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201010265437.X

交易方式： 完全转让许可转让技术入股

联系人：南京大学

所在地：江苏南京市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

咨询平台客服试试在线客服吧发布技术需求服务免费

技术详细介绍

一种基于漏洞攻击的安全协议验证方法，方法采用安全协议一致性目标来描述安全协议的认证性与秘密性安全属性，使用基于进程状态变迁规则定义与数据类型映射模式的方式实现对安全协议的建模。本方法将对安全协议的验证转换成攻击者基于会话消息的性质约束，求解目标会话数据，攻击协议会话，发现安全协议漏洞的过程。本方法通过对安全协议的建模，实现攻击者由安全协议规则约束出发，通过拆分约束形成求解目标，并由求解过程形成求解域，最终实现对安全协议漏洞的搜索与验证。实验证明，本方法针对规则安全协议具备可终止性。

成果推荐需求推荐评估专家推荐评估机构推荐

更多>

上海平正评估有限公司

服务分类：资产评估、无形资产评...

进入主页
连城资产评估有限公司

服务分类：资产评估、无形资产评...

进入主页

更多>