Formal Analysis of Security Procedures in LTE - A Feasibility Study.

Noomene Ben Henda, Karl Norrman

Browse the full RAID paper archive.