-
项俊龙
-
-
- 所属机构:福州大学
- 所在地区:福建省 福州市
- 研究方向:自动化与计算机技术
相关作者
- 陈传峰
- 作品数：31被引量：156H指数：4
- 供职机构：福州大学物理与信息工程学院
- 研究主题：无线传感器网络 形式化方法 网络管理 主动路由 SNMP
- WSN安全协议抗离线字典攻击能力研究
- 随着信息技术的高速发展,无线传感器网络应用得到快速普及,涉及军事、健康护理、智能家居、空间探索、城市交通以及机场、大型工业园区的安全监测等领域。其中对于大多数的非商业应用来说安全问题并非一个十分重要的问题,比如环境监测、...
- 项俊龙
- 关键词：无线传感器网络机密性形式化方法
- 文献传递
- 安全协议形式化验证方法综述被引量：2
- 2013年
- 安全协议作为确保网络安全的关键技术,其安全性直接决定了网络的安全性能。然而安全协议设计与分析存在着诸多困难,目前采用的主要方法是形式化方法,主要分为模态逻辑的方法、模型检测的方法、定理证明方法3种。这3种方法特性各不相同,试用范围也有所区别,而且这些方法或多或少都存在着一定的缺陷。Applied pi演算是一种专门针对安全协议设计的理论成熟的形式化方法,它的出现为安全协议的分析带来了全新的思路。
- 项俊龙陈传峰
- 关键词：安全协议形式化方法PI演算APPLIEDPI演算
- 安全协议机密性论证
- 2014年
- 机密性是无线传感器网络众多安全需求中最为核心的一项,网络安全的重点通常首先就是要解决数据机密性问题,安全协议的机密性直接决定了网络中传输数据消息的安全性。文中基于Applied pi演算构建SNEP协议机密性论证模型,将协议分成协议进程和用户进程两部分来分析,将协议的机密性转换为协议的执行过程是否具备不可区分性,进而用等价理论证明了协议的机密性情况。
- 陈传峰项俊龙
- 关键词：机密性安全协议形式化方法APPLIEDPI演算
