-
题名协议组合逻辑安全的WiMAX无线网络认证协议
被引量：6
- 1
-
-
作者
冯涛
张子彬
马建峰
-
机构
兰州理工大学计算机与通信学院
西安电子科技大学计算机网络与信息安全教育部重点实验室
福建师范大学网络安全与密码技术重点实验室
-
出处
《电子与信息学报》
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
[自动化与计算机技术—计算机系统结构]
-
-
题名协议组合逻辑安全的WMN认证密钥协商方案
被引量：1
- 2
-
-
作者
张冰涛
王小鹏
王履程
-
机构
兰州交通大学电子与信息工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2017年第8期2473-2477,共5页
-
基金
国家自然科学基金资助项目(64261029
61461025)
兰州交通大学青年基金资助项目(2016004)
-
文摘
IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络(WSN)安全的重要保证。基于协议组合逻辑形式化分析了EMSA协议的安全性,发现EMSA协议存在密钥泄露伪装攻击。针对该安全威胁,运用协议演绎系统提出了一种新的WSN安全认证密钥协商方案,并使用协议组合逻辑对新方案进行了形式化的安全性证明分析。最终表明新协议相对于EMSA协议更加安全,具有前向安全性,可抵御密钥泄露伪装攻击,更适合WSN应用环境。
-
关键词
无线网状网络安全
协议组合逻辑
协议演绎系统
密钥泄露伪装攻击
-
Keywords
WSN security
protocol composition logic
protocol derivation system
key compromise impersonation attack
-
分类号
TN915.08
[电子电信—通信与信息系统]
-
-
题名协议组合逻辑安全的4G无线网络接入认证方案
被引量：9
- 3
-
-
作者
王丽丽
冯涛
马建峰
-
机构
兰州理工大学计算机与通信学院
福建师范大学网络安全与密码技术重点实验室
西安电子科技大学计算机网络与信息安全教育部重点实验室
-
出处
《通信学报》
EI
CSCD
北大核心
2012年第4期77-84,共8页
-
基金
国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z429)
国家自然科学基金资助项目(60972078)
+3 种基金
甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186)
甘肃省自然科学基金资助项目(2007GS04823)
兰州理工大学博士基金资助项目(BS14200901)
网络安全与密码技术福建省高校重点实验室开放课题基金资助项目(09A006)~~
-
文摘
针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率。
-
关键词
自证实公钥
协议组合逻辑
协议演绎系统
认证协议
4G
-
Keywords
self-certified public key
protocol composition logic
protocol derivation system
authentication protocol
4G
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
