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