[发明专利]一种安全协议形式化验证方法有效

专利信息
申请号: 201010578947.2 申请日: 2010-12-03
公开(公告)号: CN102065083A 公开(公告)日: 2011-05-18
发明(设计)人: 薛锐;彭建华;刘峰 申请(专利权)人: 中国科学院软件研究所
主分类号: H04L29/06 分类号: H04L29/06
代理公司: 北京君尚知识产权代理事务所(普通合伙) 11200 代理人: 冯艺东
地址: 100190*** 国省代码: 北京;11
权利要求书: 查看更多 说明书: 查看更多
摘要: 发明提供了一种安全协议的形式化验证方法,其步骤包括:1)在设定的网络环境下,给定一个安全协议;2)根据安全协议执行步骤实现的功能对安全协议进行分层;3)将期望的安全目标分解为与各分层对应的子目标;4)依次对各分层进行建模,对各子目标进行描述;5)分别在步骤4)构造的分层模型上验证是否满足与之对应的子目标,若满足则完成对安全协议的验证。本发明的方法将层次式与模型检测方案结合起来,通过将安全协议划分成层次分明的模块分别进行验证,降低了准确建模的复杂性;在不影响验证结果正确性的前提下,极大地削减了检测过程中状态空间的规模。
搜索关键词: 一种 安全 协议 形式化 验证 方法
【主权项】:
一种安全协议的形式化验证方法,其步骤包括:1)在设定的网络环境下,给定一个安全协议;2)根据安全协议执行步骤实现的功能对安全协议进行分层;3)将期望的安全目标分解为与各分层对应的子目标;4)依次对各分层进行建模,对各子目标进行描述;5)分别在步骤4)构造的分层模型上验证是否满足与之对应的子目标,若满足则完成对安全协议的验证。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国科学院软件研究所,未经中国科学院软件研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/201010578947.2/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code