您的位置： 专家智库 > >

浙江省科技计划项目(2011C21046)

作品数：1 被引量：1H指数：1
相关作者：江颉何卡特陈铁明更多>>
相关机构：浙江工业大学更多>>
发文基金：浙江省自然科学基金国家重点实验室开放基金国家密码发展基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇时序逻辑
  • 1篇网络
  • 1篇无线传感
  • 1篇无线传感器
  • 1篇无线传感器网
  • 1篇无线传感器网...
  • 1篇无线传感网
  • 1篇线性时序逻辑
  • 1篇感器
  • 1篇安全协议
  • 1篇传感
  • 1篇传感器
  • 1篇传感器网
  • 1篇传感器网络
  • 1篇传感网

机构

  • 1篇浙江工业大学

作者

  • 1篇陈铁明
  • 1篇何卡特
  • 1篇江颉

传媒

  • 1篇传感技术学报

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于模型检测的无线传感网安全协议形式化分析与改进被引量：1
2013年
针对Zhang等人提出的一种基于位置的无线传感网络安全方案,开展基于模型检测的形式化分析与改进研究。首先采用模型检测工具SPIN分析和验证邻居节点认证协议,发现节点移动后将导致邻居节点无法认证的问题;为支持节点可移动,直接对协议给出一种改进方案,并采用模型检测对改进后的协议重新建模分析,发现存在中间人攻击威胁;最后根据模型检测结果,进一步提出用时间戳替换随机数的改进方案,可有效抵御中间人攻击。本文工作表明,模型检测不仅能实现对无线传感网络安全协议的形式化分析与验证,还可有效协助实现安全协议的设计与改进。
陈铁明何卡特江颉
关键词：无线传感器网络安全协议线性时序逻辑
全选 清除 导出
共1页<1>
聚类工具0