协议组合逻辑安全的4G无线网络接入认证方案 - 王丽丽; 冯涛; 马建峰 (通信学报, 2012)
Keywords: 自证实公钥; 4G; 认证协议; 协议演绎系统; 协议组合逻辑