可证明安全的异构无线网络认证协议 - 李亚晖; 李凤华; 杨卫东; 马建峰 (Tongxin xuebao)