高级检索

    张爱新, 杨明福. 3G移动通讯AKA协议及其形式化验证[J]. 华东理工大学学报（自然科学版）, 2003, (1): 46.
    引用本文: 张爱新, 杨明福. 3G移动通讯AKA协议及其形式化验证[J]. 华东理工大学学报（自然科学版）, 2003, (1): 46.
    shu
    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.
    shu

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

    AKA Protocol for 3G Mobile Communications and Its Formal Verification

      摘要
    • 摘要: 简略回顾了移动通讯的发展过程以及相应的安全机制，介绍了第三代移动通讯系统中所采用的认证与密钥协商协议，并利用AUTLOG信仰逻辑给出了形式化验证过程，在假定HE和SN之间的系统连接安全的前提下，该协议能够成功地达到预期目标。

       

      • HTML全文
      • 参考文献(0)
      • 相关文章
      • 施引文献
    • 资源附件(0)

    /

    返回文章
    返回