Detecting problematic control-plane protocol interactions in mobile networks

Guan Hua Tu, Yuanjie Li, Chunyi Peng, Chi-Yu Li, Songwu Lu

研究成果: Article同行評審

2 引文 斯高帕斯(Scopus)


The control-plane protocols in 3G/4G mobile networks communicate with each other, and provide a rich set of control functions, such as radio resource control, mobility support, connectivity management, to name a few. Despite their significance, the problem of verifying protocol correctness remains largely unaddressed. In this paper, we examine control-plane protocol interactions in mobile networks. We propose CNetVerifier, a two-phase signaling diagnosis tool to detect problematic interactions in both design and practice. CNetVerifier first performs protocol screening based on 3GPP standards via domain-specific model checking, and then conducts phone-based empirical validation in operational 3G/4G networks. With CNetVerifier, we have uncovered seven types of troublesome interactions, along three dimensions of cross (protocol) layers, cross (circuit-switched and packet-switched) domains, and cross (3G and 4G) systems. Some are caused by necessary yet problematic cooperation (i.e., protocol interactions are needed but they misbehave), whereas others are due to independent yet unnecessary coupled operations (i.e., protocols interactions are not required but actually coupled). These instances span both design defects in 3GPP standards and operational slips by carriers and vendors. They all result in performance penalties or functional incorrectness. We deduce root causes, present empirical results, propose solutions, and summarize learned lessons.

頁(從 - 到)1209-1222
期刊IEEE/ACM Transactions on Networking
出版狀態Published - 1 四月 2016

指紋 深入研究「Detecting problematic control-plane protocol interactions in mobile networks」主題。共同形成了獨特的指紋。