通信学报Issue(S1):P.58-66,9.
基于CSP方法的移动自组织网络认证协议TAM的分析与改进
摘要
关键词
移动自组织网络/认证协议/安全协议分析/通信顺序进程/TAM分类
信息技术与安全科学引用本文复制引用
刘礼才,殷丽华,郭云川,孙燕..基于CSP方法的移动自组织网络认证协议TAM的分析与改进[J].通信学报,2013,(S1):P.58-66,9.基金项目
国家自然科学基金资助项目(61100181 ()
61070186 ()
61100186)~~ ()
国家自然科学基金资助项目(61100181 ()
61070186 ()
61100186)~~ ()