作者：王鹏; 李谢华; 陆松年认证测试方法串空间模型3gwlan形式化方法
摘要：EAP-AKA（Extensible Authentication Protocol-Authentication and Key Agreement）是WLAN的认证和密钥分配协议;认证测试是一种以串空间理论为基础的安全协议分析验证方法。运用认证测试方法对EAP-AKA协议的双向身份认证过程进行了分析证明,结果说明EAP-AKA能够保证移动终端和认证服务器之间的双向认证。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
