X为了获得更好的用户体验,请使用火狐、谷歌、360浏览器极速模式或IE8及以上版本的浏览器
APP下载
欢迎光临,请  登录  |  注册
尊敬的,欢迎光临!  [会员中心]    [退出登录]
成果
成果 专家 院校 需求 政策
当前位置: 首页 >  科技成果  > 详细页

[00039512]一种基于模型检验的无线传感器网络安全协议验证方法

交易价格: 面议

所属行业: 网络

类型: 发明专利

技术成熟度: 正在研发

专利所属地:中国

专利号:CN201310456973.1

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

联系人: 南京大学

所在地:江苏 南京市

服务承诺
产权明晰
资料保密
对所交付的所有资料进行保密
如实描述
分享
|
收藏
|

技术详细介绍

本发明给出一种基于模型检验的无线传感器网络安全协议验证方法,用时间自动机所组成的状态迁移系统表示无线传感器网络安全协议,用模态/时序逻辑公式表示无线传感器网络中安全协议所需满足的条件,将对无线传感器网络安全协议验证转化为验证状态迁移系统是否为公式的一个模型。本发明在安全协议验证过程中充分考虑了无线传感器网络的特性,在模态/时序逻辑公式中加入时钟约束条件,能够对无线传感器网络安全协议进行全面的验证。

推荐服务:

龙岩市科技创新服务平台

福建省龙岩市龙岩大道1号市行政办公中心

联系方式:0597-2601001,400-649-1633

|    关于我们    |    帮助中心    |

Copyright © 2019 龙岩市科技开发与科技特派员服务中心 版权所有

闽ICP备20015298号-1

闽公网安备 35080202351102号