Formal Verification of the Security for Dual Connectivity in LTE.

Noamen Ben Henda, Karl Norrman, Katharina Pfeffer

Browse the full ICSE paper archive.