作者：刘霞; 古天龙无线认证协议认证性模型检验
摘要：无线认证协议用于无线环境中各参与方之间相互确定对方的真实身份，防止假冒攻击。如果无线认证协议出现安全漏洞，整个会话就没有安全性可言，还会影响随后会话的安全性。针对无线认证协议Server-specific MAKEP存在的认证性缺陷，给出了对协议的一种改进。对改进后的协议进行模型检验分析的结果表明，改进后的Server-specificMAKEP协议满足认证性和保密性。此外，把存储空间的占用从移动装置转移到了固定装置，减少了移动装置存储空间的占有率，从而提高了移动装置的通信效率。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《桂林电子科技大学学报》（CN：45-1351/TN）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《桂林电子科技大学学报》主要刊载信息与通信工程、信号与信息处理、计算机应用技术、仪器科学与技术、控制理论与控制工程、机械设计制造及其自动化、电磁场与微波技术、机械电子工程、工业艺术设计、材料加工工程、信息与计算科学、应用数学、工商管理等方面的学术论文。
杂志详情
