基于CSP方法的移动自组织网络认证协议TAM的分析与改进
刘礼才1,2，殷丽华2，郭云川2，孙燕1,2
Analysis and improvement for authentication protocols ofmobile ad hoc network with CSP approach
通信学报 . 2013, (Z1): 8 -66 .