计算机工程2008，Vol.34Issue(3)：186-188,212,4.
无线认证协议Linear MAKEP的模型检验
Model Checking of Wireless Authentication Protocol Linear MAKEP
摘要
关键词
LinearMAKEP协议/模型检验/认证性/形式化分类
信息技术与安全科学引用本文复制引用
刘霞,陈维,彭军..无线认证协议Linear MAKEP的模型检验[J].计算机工程,2008,34(3):186-188,212,4.基金项目
重庆市科委自然科学基金资助项目(CSTC,2005BB2050) （CSTC,2005BB2050）
重庆市教委科学技术研究基金资助项目(KJ051402) （KJ051402）
