许家胜
- 作品数：3 被引量：0H指数：0
- 供职机构：福州大学物理与信息工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 无线传感器网络新鲜性的形式化分析
- 为了更好地分析和验证无线传感器网络的安全性，改善其安全和隐私问题，使其具有更广泛的应用领域，提出了一种形式化分析和验证无线传感器网络新鲜性的方法。首先分析了无线传感器网络安全目标的研究进展，深入探讨其中缺乏关注但非常重要...
- 朱伟龙陈传峰许家胜
- 关键词：无线传感器网络安全特性新鲜性形式化方法
- 文献传递
- 无线传感器网络新鲜性的形式化分析
- 2012年
- 为了更好地解决无线传感器网络的安全与隐私问题,使其具有更广泛的应用领域,提出了一种使用形式化方法 Object-Z分析和验证无线传感器网络安全特性的新方法.该方法分析了一个基于Nonce机制的简单密钥协商协议的新鲜性问题.首先定义了协议使用到的数据类型和辅助函数等组件,然后建立了协议的3个角色模型:发起者、响应者和基站.在此基础上通过实例化角色对象构建了密钥协商协议模型,实现角色之间的相互通信,最后采用形式化逻辑推理的方式对协议通信过程的新鲜性进行验证.结果表明,使用Nonce机制可以保证传输数据的新鲜性,说明该分析方法对无线传感器网络的安全特性的分析是有效的.
- 朱伟龙陈传峰许家胜
- 关键词：无线传感器网络安全特性新鲜性形式化方法
- 无线传感器的安全定位多点验证协议的形式化方法研究
- 2013年
- 目前,无线传感器网络的定位的主要是目标是在敌对环境中不受干扰。由于无线传感器网络定位的主要应用都需要在安全的定位结果下才能正常工作,对无线传感器的定位主要研究是集中在能够正常定位的前提下,对安全定位研究较少。本文首先介绍多点验证协议,并用形式化方法对其距离验证协议展开研究,然后验证距离验证协议在WSN的SPINE安全定位算法中能够进行定位,并验证其安全性。
- 许家胜陈传峰
- 关键词：无线传感器网络形式化方法
