Noomene Ben Henda, Karl Norrman. Formal Analysis of Security Procedures in LTE - A Feasibility Study. In Angelos Stavrou, Herbert Bos, Georgios Portokalidis, editors, Research in Attacks, Intrusions and Defenses - 17th International Symposium, RAID 2014, Gothenburg, Sweden, September 17-19, 2014. Proceedings. Volume 8688 of Lecture Notes in Computer Science, pages 341-361, Springer, 2014. [doi]
Abstract is missing.