-
题名基于标识的无线Mesh网络接入认证协议
被引量：5
- 1
-
-
作者
张钧媛
鄢楚平
王朝翔
-
机构
华北计算技术研究所
-
出处
《计算机工程与设计》
CSCD
北大核心
2012年第4期1300-1304,共5页
-
文摘
为解决无线Mesh网络节点高效、安全入网认证的问题,提出了一种新的基于标识认证的无线Mesh网络接入认证协议。该协议针对无线Mesh网络的特点,将标识认证体制引入到无线Mesh节点接入认证当中,并在标识认证的基础上一次性完成了入网节点的双向身份认证、网络认证和空口密钥的建立3个步骤。简化了认证的流程,减少了认证的时延,达到了分布式认证的效果,为大规模的节点接入提供了一种新的认证方案。通过BAN逻辑形式化方法证明了协议的安全性,通过效率分析说明了协议的高效性。
-
关键词
无线mesh网络
接入认证协议
标识
BAN逻辑
形式化证明
-
Keywords
wireless mesh network
access authentication protocol
identity
BAN logic
formal verification
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于事件逻辑的无线Mesh网络认证协议安全性证明
被引量：6
- 2
-
-
作者
李娅楠
肖美华
李伟
梅映天
钟小妹
-
机构
华东交通大学软件学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2017年第12期2236-2244,共9页
-
基金
国家自然科学基金(61562026)
江西省自然科学基金(20161BAB202063)
+1 种基金
江西省对外科技合作项目(20151BDH80005)
江西省主要学科学术和技术带头人资助计划(2017BCB22015)
-
文摘
无线Mesh网络是一种结合无线局域网和移动自组织网络的新型多跳网络,无线网络的开放性和资源受限性使得无线网络容易遭受重放、伪装等攻击。事件逻辑是一种描述并发与分布式系统中状态迁移和算法的形式化方法,可用于证明网络协议的安全性。以事件逻辑为基础提出一系列性质,其中包含多组合信息交互、不叠加、事件匹配、去重复、去未来,以降低协议分析过程中的冗余度以及复杂度,提高协议分析效率。对无线Mesh网络客户端双向认证协议进行分析,证明该协议能够抵抗中间人发起的重放攻击,无线Mesh客户端双向认证协议是安全的。此理论适用于类似复杂无线网络协议形式化分析。
-
关键词
形式化方法
事件逻辑
无线mesh网络认证协议
中间人攻击
-
Keywords
formal method
logic of events~ wireless mesh network authentication protocol
man-in-the-middle attack
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名基于预认证的无线Mesh网络快速切换认证技术方案
被引量：3
- 3
-
-
作者
张钧媛
郑小芳
-
机构
华北计算技术研究所
-
出处
《现代电子技术》
北大核心
2015年第1期83-86,共4页
-
文摘
为了保证无线Mesh网络链路切换过程的快速与安全性,运用了CPK标识认证技术,参照了IKEv2认证与密钥交换协议的设计方法,按照安全协议设计原则,设计了基于预认证的无线Mesh网络快速认证技术方案,包括基于预认证的端到端认证与加密方案和快速重认证方案。通过方案性能与安全性分析,方案在实现安全快速的同时还兼具了很好的性能。
-
关键词
无线mesh网络
链路切换
CPK标识认证
IKEv2认证与密钥交换协议
-
Keywords
wireless mesh network
link switching
CPK identity authentication
IKEv2 authentication and key exchange protocol
-
分类号
TN915.08
[电子电信—通信与信息系统]
TP393.04
[自动化与计算机技术—计算机应用技术]
-
-
题名适用于无线Mesh网络的双向认证和密钥交换协议
- 4
-
-
作者
朱佳晖
戎璐
王新红
徐尚志
-
机构
同济大学电信学院宽带无线通信与多媒体实验室
上海无线通信研究中心
-
出处
《计算机应用研究》
CSCD
北大核心
2008年第12期3744-3746,共3页
-
基金
上海市重大科研攻关资助项目(07dz15006_2)
上海市科委重点科技攻关计划资助项目(06dz15013)
上海研发公共服务平台建设专项资助项目(07dz22023)
-
文摘
在无线Mesh网络(WMN)通信模式下,认证和密钥交换对于其计费统计与安全连接起着十分重要的作用。在终端用户与Mesh路由器之间快速建立安全连接对于减少网络整体时延有着重要的帮助。MAKEP协议是为解决低功耗终端与高性能服务器之间的快速认证与密钥交换而提出的,但在非频繁加密业务连接下,认证协议的效率大大降低。针对WMN模式下的业务连接需求,提出了改进的M-MAKEP协议,在降低业务连接时延的同时也提供了前向保密性。
-
关键词
M-MAKEP
无线mesh网络
认证协议
模型检测
-
Keywords
M- MAKEP
wireless mesh network（WMN）
authentication protocol
model checking
-
分类号
TN918
[电子电信—通信与信息系统]
-
-
题名协议组合逻辑安全的WiMAX无线网络认证协议
被引量：6
- 5
-
-
作者
冯涛
张子彬
马建峰
-
机构
兰州理工大学计算机与通信学院
西安电子科技大学计算机网络与信息安全教育部重点实验室
福建师范大学网络安全与密码技术重点实验室
-
出处
《电子与信息学报》
EI
CSCD
北大核心
2010年第9期2106-2111,共6页
-
基金
国家高技术研究发展计划(863)(2007AA01Z429)
国家自然科学基金(60702059
+3 种基金
60972078)
甘肃省自然科学基金(2007GS04823)
网络安全与密码技术福建省高校重点实验室开放课题(09A006)
兰州理工大学博士基金(BS14200901)资助课题
-
文摘
国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMAX无线网络安全认证协议,并使用协议组合逻辑(PCL)给出新协议的模块化正确性和安全性证明,新协议相对于PKMv2安全认证协议更加安全,更适应WiMAX无线网络复杂的网络应用环境。
-
关键词
无线网络
认证协议
协议演绎系统
协议组合逻辑
WIMAX
-
Keywords
wireless network
authentication protocol
protocol Derivation System （PDS）
protocol Composition logic （PCL）
WiMAX
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名适用于无线体域网的动态口令认证协议
被引量：4
- 6
-
-
作者
杜梦瑶
王峥
李娜
强彦
-
机构
太原理工大学信息与计算机学院
国网山西省电力公司
-
出处
《计算机工程与应用》
CSCD
北大核心
2020年第14期68-73,共6页
-
基金
国家自然科学基金(No.61872261)。
-
文摘
无线体域网中传输的是与生命高度相关的敏感数据,身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存在信息难提取、偶然性大和误差性大的问题,基于传统密码学的认证方案需较大计算资源和能量消耗,并不适用于无线体域网环境。为此,在动态口令和非对称加密机制基础上,提出一种适用于无线体域网的动态口令双向认证轻量协议,并对其进行形式化分析。通过理论证明、SVO逻辑推理及SPIN模型检测得出:该协议满足双向认证,且能够抵御重放攻击、伪装攻击、拒绝服务器攻击和口令离线攻击,具有较高安全性。
-
关键词
无线体域网
认证协议
动态口令
非对称加密
SVO逻辑
SPIN
-
Keywords
wireless body area network
authentication protocol
dynamic password
asymmetric encryption
SVO logic
Simple Promela Interpreter(SPIN)
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
