高级检索

  • ISSN 1006-3080
  • CN 31-1691/TQ

3G移动通讯AKA协议及其形式化验证

张爱新 杨明福

张爱新, 杨明福. 3G移动通讯AKA协议及其形式化验证[J]. 华东理工大学学报(自然科学版), 2003, (1): 46.
引用本文: 张爱新, 杨明福. 3G移动通讯AKA协议及其形式化验证[J]. 华东理工大学学报(自然科学版), 2003, (1): 46.
AKA Protocol for 3G Mobile Communications and Its Formal Verification[J]. Journal of East China University of Science and Technology, 2003, (1): 46.
Citation: AKA Protocol for 3G Mobile Communications and Its Formal Verification[J]. Journal of East China University of Science and Technology, 2003, (1): 46.

3G移动通讯AKA协议及其形式化验证

AKA Protocol for 3G Mobile Communications and Its Formal Verification

计量
  • 文章访问数:  1153
  • HTML全文浏览量:  176
  • PDF下载量:  92
  • 被引次数: 0
出版历程

目录

    /

    返回文章
    返回