您的位置: 专家智库 > >

陈传峰

作品数:32 被引量:157H指数:4
供职机构:福州大学物理与信息工程学院更多>>
发文基金:福建省教育厅科技项目国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术电子电信一般工业技术更多>>

文献类型

  • 25篇期刊文章
  • 6篇会议论文
  • 1篇学位论文

领域

  • 28篇自动化与计算...
  • 10篇电子电信
  • 1篇一般工业技术

主题

  • 23篇网络
  • 10篇无线传感
  • 10篇无线传感器
  • 10篇无线传感器网
  • 10篇无线传感器网...
  • 10篇感器
  • 10篇传感
  • 10篇传感器
  • 10篇传感器网
  • 10篇传感器网络
  • 7篇形式化
  • 7篇网络管理
  • 6篇形式化方法
  • 6篇路由
  • 4篇主动路由
  • 3篇计算机
  • 3篇计算机网
  • 3篇计算机网络
  • 3篇SNMP
  • 2篇新鲜性

机构

  • 21篇福州大学
  • 14篇西安交通大学
  • 2篇福建行政学院

作者

  • 32篇陈传峰
  • 13篇李增智
  • 4篇唐亚哲
  • 3篇朱伟龙
  • 3篇许家胜
  • 2篇庄鸿
  • 2篇项俊龙
  • 2篇林玮
  • 1篇郑如滨
  • 1篇林锦贤
  • 1篇朱海萍
  • 1篇陈妍
  • 1篇郑跃平
  • 1篇刘康平
  • 1篇叶炼炼
  • 1篇彭厚颀
  • 1篇孙科宇
  • 1篇辜承志
  • 1篇李丹

传媒

  • 4篇福州大学学报...
  • 3篇福建电脑
  • 3篇信息安全与通...
  • 2篇计算机工程
  • 2篇微电子学与计...
  • 2篇小型微型计算...
  • 2篇现代电子技术
  • 1篇电子技术应用
  • 1篇东南大学学报...
  • 1篇西安交通大学...
  • 1篇计算机应用研...
  • 1篇计算机与数字...
  • 1篇数字技术与应...
  • 1篇信息通信
  • 1篇2001年全...
  • 1篇第二届全国信...
  • 1篇中国计算机学...
  • 1篇第十九届全国...

年份

  • 1篇2015
  • 1篇2014
  • 3篇2013
  • 2篇2012
  • 2篇2011
  • 1篇2010
  • 3篇2009
  • 1篇2007
  • 1篇2006
  • 2篇2005
  • 3篇2004
  • 2篇2003
  • 4篇2002
  • 1篇2001
  • 3篇2000
  • 1篇1999
  • 1篇1997
32 条 记 录,以下是 1-10
排序方式:
计算机网络系统的建设与改造
1997年
针对目前我国大多数计算机网络系统的现状,提出一种技术先进。
林锦贤陈传峰宋志刚黄立勤杨文琴
关键词:以太网交换式以太网计算机网络
基于RSSI的无线传感器网络三角形质心定位算法被引量:94
2009年
节点定位是无线传感器网络中的关键技术之一。基于RSSI的定位技术是现阶段研究的热点,为解决RSSI测量方法定位误差较大的问题,提出一种将RSSI测量方法与三角形质心算法相结合的新型定位算法,该算法用三角形质心算法减小RSSI的测量误差。仿真表明该算法比基于RSSI的三边测量法定位算法的定位精度有较大提高。
林玮陈传峰
关键词:无线传感器网络RSSI质心
无线传感器网络新鲜性的形式化分析
为了更好地分析和验证无线传感器网络的安全性,改善其安全和隐私问题,使其具有更广泛的应用领域,提出了一种形式化分析和验证无线传感器网络新鲜性的方法。首先分析了无线传感器网络安全目标的研究进展,深入探讨其中缺乏关注但非常重要...
朱伟龙陈传峰许家胜
关键词:无线传感器网络安全特性新鲜性形式化方法
文献传递
网络主动路由选择机制及其关键技术研究
陈传峰
关键词:计算机网络路由选择网络协议
以网管平台为中心管理模型的剖析被引量:2
2000年
分析了以中央网管平台为中心的管理结构的特点 ,指出这种结构的局限性 ,并提出一种多平台的管理模型范例 .
陈传峰刘康平李增智
关键词:网络管理管理平台SNMPCIMP
无线传感器网络新鲜性的形式化分析
2012年
为了更好地解决无线传感器网络的安全与隐私问题,使其具有更广泛的应用领域,提出了一种使用形式化方法 Object-Z分析和验证无线传感器网络安全特性的新方法.该方法分析了一个基于Nonce机制的简单密钥协商协议的新鲜性问题.首先定义了协议使用到的数据类型和辅助函数等组件,然后建立了协议的3个角色模型:发起者、响应者和基站.在此基础上通过实例化角色对象构建了密钥协商协议模型,实现角色之间的相互通信,最后采用形式化逻辑推理的方式对协议通信过程的新鲜性进行验证.结果表明,使用Nonce机制可以保证传输数据的新鲜性,说明该分析方法对无线传感器网络的安全特性的分析是有效的.
朱伟龙陈传峰许家胜
关键词:无线传感器网络安全特性新鲜性形式化方法
安全协议形式化验证方法综述被引量:2
2013年
安全协议作为确保网络安全的关键技术,其安全性直接决定了网络的安全性能。然而安全协议设计与分析存在着诸多困难,目前采用的主要方法是形式化方法,主要分为模态逻辑的方法、模型检测的方法、定理证明方法3种。这3种方法特性各不相同,试用范围也有所区别,而且这些方法或多或少都存在着一定的缺陷。Applied pi演算是一种专门针对安全协议设计的理论成熟的形式化方法,它的出现为安全协议的分析带来了全新的思路。
项俊龙陈传峰
关键词:安全协议形式化方法PI演算APPLIEDPI演算
WSN安全通信的形式化验证被引量:2
2013年
为了解决无线传感器网络在军事、商业等领域上的安全和隐私问题,文中分析了传感器节点通信过程中可能遭受的攻击及其防御措施,提出了一种验证安全通信是否真正安全的方法。该方法是一种混合型的形式化分析方法,先应用模型检测工具AVISPA分析安全通信过程是否会遭到攻击,然后采用形式化验证方法Object-Z建立模型和分析,并证明安全通信过程能否实现其安全目标。文中以基于传感器网络加密协议的安全通信过程为例,证实了该方法的可行性。
朱伟龙陈传峰
关键词:无线传感器网络安全通信形式化方法
能量高效的无线传感器网络覆盖控制综述
覆盖控制把网络连通性、节点能量和网络整体的覆盖性能相结合,改善传感器网络所提供的服务质量。针对覆盖控制中能量高效问题,归纳总结了3种实现能量高效的方法,对现有典型的几种覆盖控制方法进行剖析研究,最后提出几点需要进一步研究...
郑杰陈传峰
关键词:无线传感器网络
一种能量感知型无线传感器网络跨层式通信协议被引量:8
2009年
结合无线传感器网络面向应用的实际需求,提出一种新颖的能量感知型无线传感器网络跨层协议ECLC,并给出了实现过程和仿真结果。基于重点关注热点能耗的策略,综合WSN在能量高效、可扩展性、服务质量等方面的不同要求,设计了简单可靠、易于实现的跨层式WSN网络协议。仿真结果表明:ECLC协议在传感器网络系统层面较好地改善能量消耗的有效性和均衡性,因而避免了网络中热点的过早出现,延长了整个网络的生存期。
李丹陈传峰
关键词:无线传感器网络
共4页<1234>
聚类工具0