何卡特
- 作品数：2 被引量：1H指数：1
- 供职机构：浙江工业大学计算机科学与技术学院、软件学院更多>>
- 发文基金：浙江省自然科学基金国家重点实验室开放基金国家密码发展基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- WSN安全协议的形式化建模与分析
- 随着无线传感器网络(Wireless Sensor Networks,简称WSN)应用越来越广泛,WSN安全问题已日益突出,WSN安全协议设计成为一项关键技术。因此,将形式化方法应用到WSN安全协议的建模与分析成为当前的...
- 何卡特
- 关键词：无线传感器网络形式化方法线性时序逻辑安全协议
- 文献传递
- 基于模型检测的无线传感网安全协议形式化分析与改进被引量：1
- 2013年
- 针对Zhang等人提出的一种基于位置的无线传感网络安全方案,开展基于模型检测的形式化分析与改进研究。首先采用模型检测工具SPIN分析和验证邻居节点认证协议,发现节点移动后将导致邻居节点无法认证的问题;为支持节点可移动,直接对协议给出一种改进方案,并采用模型检测对改进后的协议重新建模分析,发现存在中间人攻击威胁;最后根据模型检测结果,进一步提出用时间戳替换随机数的改进方案,可有效抵御中间人攻击。本文工作表明,模型检测不仅能实现对无线传感网络安全协议的形式化分析与验证,还可有效协助实现安全协议的设计与改进。
- 陈铁明何卡特江颉
- 关键词：无线传感器网络安全协议线性时序逻辑
