• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
成果搜索

author:

朱伟龙 (朱伟龙.) [1] | 陈传峰 (陈传峰.) [2] (Scholars:陈传峰) | 许家胜 (许家胜.) [3]

Indexed by:

EI Scopus PKU CSCD

Abstract:

为了更好地解决无线传感器网络的安全与隐私问题,使其具有更广泛的应用领域,提出了一种使用形式化方法Object-Z分析和验证无线传感器网络安全特性的新方法.该方法分析了一个基于Nonce机制的简单密钥协商协议的新鲜性问题.首先定义了协议使用到的数据类型和辅助函数等组件,然后建立了协议的3个角色模型:发起者、响应者和基站.在此基础上通过实例化角色对象构建了密钥协商协议模型,实现角色之间的相互通信,最后采用形式化逻辑推理的方式对协议通信过程的新鲜性进行验证.结果表明,使用Nonce机制可以保证传输数据的新鲜性,说明该分析方法对无线传感器网络的安全特性的分析是有效的.

Keyword:

安全特性 形式化方法 新鲜性 无线传感器网络

Community:

  • [ 1 ] [朱伟龙]福州大学
  • [ 2 ] [陈传峰]福州大学
  • [ 3 ] [许家胜]福州大学

Reprint 's Address:

Email:

Show more details

Version:

Related Keywords:

Related Article:

Source :

东南大学学报(自然科学版)

ISSN: 1001-0505

CN: 32-1178/N

Year: 2012

Issue: z2

Volume: 42

Page: 245-249

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count: -1

Chinese Cited Count:

30 Days PV: 1

Online/Total:62/10064157
Address:FZU Library(No.2 Xuyuan Road, Fuzhou, Fujian, PRC Post Code:350116) Contact Us:0591-22865326
Copyright:FZU Library Technical Support:Beijing Aegean Software Co., Ltd. 闽ICP备05005463号-1