计算机工程与科学 ›› 2009, Vol. 31 ›› Issue (4): 72-74.
• • 上一篇 下一篇
李谢华,张孝红
出版日期:
发布日期:
Online:
Published:
李谢华, 张孝红. EAP-AKA无线认证协议的形式化验证方法[J]. 计算机工程与科学, 2009, 31(4): 72-74.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2009/V31/I4/72
