[论文解读] GSM Security Using Identity-based Cryptography

Animesh Agarwal, Vaibhav Shrimali+1 more|ArXiv.org|Nov 4, 2009

Chaos-based Image/Signal Encryption参考文献 16被引用 4

一句话总结

本文提出了一种基于身份的密码学（IBC）增强的GSM安全协议，可在无需专用安全通道的情况下实现相互认证、用户匿名性以及动态会话密钥建立。通过利用椭圆曲线密码学（ECC）和双线性对，该协议在资源受限的移动设备上实现了较低的计算开销，同时增强了对冒充、重放和密钥新鲜性攻击的抵抗能力。

ABSTRACT

Current security model in Global System for Mobile Communications (GSM) predominantly use symmetric key cryptography. The rapid advancement of Internet technology facilitates online trading, banking, downloading, emailing using resource-constrained handheld devices such as personal digital assistants and cell phones. However, these applications require more security than the present GSM supports. Consequently, a careful design of GSM security using both symmetric and asymmetric key cryptography would make GSM security more adaptable in security intensive applications. This paper presents a secure and efficient protocol for GSM security using identity based cryptography. The salient features of the proposed protocol are (i) authenticated key exchange; (ii) mutual authentication amongst communicating entities; and (iii) user anonymity. The security analysis of the protocol shows its strength against some known threats observed in conventional GSM security.

研究动机与目标

• 解决当前GSM安全机制的局限性，其依赖对称密码学，缺乏相互认证和强密钥管理能力。
• 通过集成基于身份的密码学，增强GSM安全性以支持移动银行和安全交易等现代应用。
• 通过最小化移动端的公钥操作，确保与资源受限移动设备的兼容性。
• 消除基站与网络服务器之间（如BSS到HLR/VLR）对专用或安全通道的需求。
• 为会话密钥提供相互控制和新鲜性保证，以抵御已知的密码学威胁。

提出的方法

• 使用基于身份的密码学（IBC）以消除对公钥证书的需求，并简化密钥管理。
• 采用椭圆曲线密码学（ECC）以实现强安全性，同时使用更短的密钥长度，降低计算成本。
• 引入双线性对，以高效地在移动台（MS）、VLR和HLR之间实现密钥推导和认证。
• 建立会话密钥 $K'' = RAND'' \cdot K'$，其中 $RAND'' = RAND \oplus RAND'$，确保三方均对密钥有贡献。
• 通过仅在空中接口传输TMSI来保护用户身份；IMSI使用HLR的公钥加密，并仅在VLR与HLR之间传输。
• 使用带哈希和加密的质询-响应机制对MS、VLR和HLR进行认证，确保相互信任。

实验结果

研究问题

• RQ1 基于身份的密码学能否有效集成到GSM中，在不增加移动设备计算负载的前提下提升安全性？
• RQ2 如何在不依赖网络组件之间安全通道的前提下，利用IBC和ECC在GSM中实现相互认证和用户匿名性？
• RQ3 在资源有限的移动环境中，哪些机制可确保会话密钥的新鲜性并防止重放攻击？
• RQ4 如何强制实现相互密钥控制，以确保任一单一实体无法预先确定会话密钥？
• RQ5 与传统GSM安全机制相比，所提出的协议在抵御冒充和中间人攻击方面的有效程度如何？

主要发现

• 该协议通过基于身份的加密和双线性对，在MS、VLR和HLR之间实现了相互认证，消除了对预共享证书的依赖。
• 通过仅在空中接口传输TMSI，保护了用户匿名性；IMSI使用HLR的公钥加密，仅在受信实体间（VLR与HLR）传输。
• 会话密钥 $K''$ 由MS、VLR和HLR三方共同计算，输入来自所有三方，确保了相互密钥控制并防止密钥偏移。
• 该协议可抵抗重放攻击和基于新鲜性的密码分析，攻击者无法以非可忽略的优势区分一个新鲜会话密钥与一个随机值。
• 移动设备上的计算开销被最小化，因其避免了昂贵的公钥操作，转而依赖对称原 primitive 和轻量级哈希函数。
• 该协议无需BSS与网络服务器之间的安全通道即可运行，降低了基础设施复杂性，提升了可部署性。