-
题名无线局域网中WAPI安全机制分析
被引量:5
- 1
-
-
作者
厉丹
张永平
刘莘
-
机构
中国矿业大学计算机科学与技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第13期2393-2395,共3页
-
文摘
无线局域网(WLAN)技术的出现改变了传统的上网方式。它无需线缆介质,也不受地理位置的限制,但随之而来的安全问题成为人们关注的焦点。介绍了传统的WEP安全机制的原理和不足之处,以及新一代WAPI安全机制的工作原理及特点,并对这两种不同的WLAN安全机制进行了比较。
-
关键词
无线局域网
安全机制
有线等效保密
无线局域网鉴别与保密基础结构
-
Keywords
wireless local area network (wlan)
security mechanism
wired equivalent privacy (WEP)
wlan authentacataonand privacy infrastructure (wapi)
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名WAPI密钥管理协议的PCL证明
被引量:7
- 2
-
-
作者
铁满霞
李建东
王育民
-
机构
西安电子科技大学ISN国家重点实验室
西安电子科技大学信息科学研究所
-
出处
《电子与信息学报》
EI
CSCD
北大核心
2009年第2期444-447,共4页
-
基金
国家杰出青年科学基金(60725105)
国家自然科学基金重大项目(60496316)
+1 种基金
国家863计划项目(2007AA01Z217)
国家自然科学基金(60572146)资助课题
-
文摘
该文利用协议合成逻辑(PCL),对WAPI密钥管理协议进行了模块化正确性证明。首先,分析了相对独立的单播密钥协商与组播密钥通告协议,在满足一定的工作环境下,证明其分别具有SSA与KS特性,且与协议的实体与会话个数无关:接着,根据顺序合成规则与阶段合成定理,由于参与协议运行的实体避免了基于同一BK担当AE和ASUE两种角色,且每个子协议的运行都不干扰或不破坏其他子协议的环境条件,故WAPI密钥管理协议具有所需的安全属性,达到协议设计目标。
-
关键词
无线局域网
无线局域网鉴别与保密基础结构
密钥管理协议
协议合成逻辑
安全性证明
-
Keywords
wlan
wlan Authentication and privacy infrastructure(wapi)
Key management protocol
Protocol Composition Logic (PCL)
Security proof
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于双策略的WAPI协议改进
被引量:2
- 3
-
-
作者
罗作民
秦严
王锋
张亚玲
-
机构
西安理工大学计算机科学与工程学院
-
出处
《计算机应用》
CSCD
北大核心
2009年第2期347-349,352,共4页
-
基金
陕西省教育厅项目(06JK231)
-
文摘
作为无线网络鉴别和保密基础结构的WAPI协议,其安全的认证机制是确保无线网络安全的前提。简要描述了WAPI认证协议原理,分析了WAPI身份认证中存在的易被中间人攻击的安全漏洞,提出了基于身份和签名的双策略改进方案,介绍了实现该方案的接发双队列认证模型,给出了有线网络下的模拟实验环境,通过实验证明了改进方案的有效性。
-
关键词
无线局域网鉴别与保密基础结构
安全漏洞
双策略
双队列
-
Keywords
wlan Authentication and privacy infrastructure(wapi)
security flaws
dual strategy
double queue
-
分类号
TN929.5
[电子电信—通信与信息系统]
-
-
题名WAPI中ASU的研究与设计
被引量:1
- 4
-
-
作者
张浩军
祝跃飞
陈莉
庞红玲
-
机构
信息工程大学网络工程系
-
出处
《计算机应用研究》
CSCD
北大核心
2005年第6期199-201,共3页
-
基金
国家"973"计划资助项目(G1999035804)
河南杰出青年基金资助项目(0212001400)
-
文摘
深入探讨了ASU的实现机制,给出了ASU详细的设计与实现方法,并对实现效率及安全性进行了讨论。
-
关键词
无线鉴别与保密基础设施
鉴别服务单元
证书
-
Keywords
wapi(wlan Authentication and privacy infrastructure)
ASU(Authentication Service Unit)
Certificate
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名可信接入鉴别协议的研究与设计
被引量:1
- 5
-
-
作者
孙鹏
吴振强
冯德民
李洁
于璐
-
机构
陕西师范大学计算机科学学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第34期78-81,共4页
-
基金
国家自然科学基金No.60633020
国家高技术研究发展计划(863)No.2007AA01Z438200
西安电子科技大学计算机网络与信息安全教育部重点实验室开放课题(No.2007CNIS-06)~~
-
文摘
在对我国自主制定的无线局域网国家标准WAPI中WAI的安全接入过程分析的基础上,针对该协议存在终端完整性安全隐患,引入完整性度量的思想,提出基于可信平台模块(TPM)的WAI协议方案—TWAI。该方案利用TPM的本地保护和平台证实等功能来保证通信各个环节的安全可靠,并利用CK模型对其过程进行了安全性分析以及可信性分析。分析结果表明,TWAI能够实现终端完整性保护、双向实体认证等安全目标,从而增强了WAI协议运行的安全性。
-
关键词
无线局域网鉴别和保密基础结构(wapi)
平台完整性认证
可信计算
可信平台模块
-
Keywords
wlan Authentication and privacy infrastructure (wapi)
platform integrity authentication
trusted computing
Trusted Platform Module(TPM)
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-