面向无线传感网安全协议设计与实现的形式化验证方法[CN201410309197.7] - 浙江工业大学

专利申请

2014-07-01
公布公告

2018-04-20
授权日期

2018-04-20
终止

2028-04-17

面向无线传感网安全协议设计与实现的形式化验证方法

* 专利信息仅供参考，不具有法律效力。有效专利

注册号： CN201410309197.7 申请日期： 2014-07-01 专利主类别： H04L12/26 {{ classMap["H04L12/26"] }}

申请人名称：浙江工业大学

查看申请人名下所有专利

申请人地址：浙江省杭州市下城区朝晖六区潮王路18号

专利分类项目

H04L12/26 : 监视装置；测试装置

H04L29/06 : 以协议为特征的

专利注册信息

初审公告期号	2014-07-01	初审公告日期	2018-04-20
注册公告期号	2018-04-20	注册公告日期	2018-04-20
专用权期限	2018-04-20 - 2028-04-17	专利类型	发明授权
代理组织机构	杭州斯可睿专利事务所有限公司查看该机构代理的所有专利

专利介绍

一种面向无线传感网安全协议设计与实现的形式化验证方法，包括以下步骤：(1)基于逻辑分析的传感网安全协议设计方法：传感器网络安全协议设计者接受一个协议设计目标，在分析传感器网络环境因素的基础上，设计出一个协议雏形；建立一个逻辑推理系统，完成协议建模与逻辑分析，根据分析结果修改协议设计方案，重复逻辑分析直至协议逻辑正确；最后给出协议规格的非形式化描述；(2)面向传感网开发环境的安全协议规格描述语言；(3)基于模型检测的安全协议代码自动验证方法。本发明有效保证设计和开发的安全和效率、可扩张性良好。

法律进度