可证明安全的异构无线网络认证协议
李亚晖,李凤华,杨卫东,马建峰
通信学报 . 2007, (11): 4 -29 .