Text this: 可证明安全的异构无线网络认证协议