Home // INNOV 2017, The Sixth International Conference on Communications, Computation, Networks and Technologies // View article

Formal Verification of Key Establishment for Dual Connectivity in Small Cell LTE Networks

Authors:
Vassilios G. Vassilakis
Ioannis D. Moscholios
Michael D. Logothetis
Michael N. Koukias

Keywords: Dual connectivity, long-term evolution (LTE), key establishment, Scyther tool

Abstract:
Dual connectivity (DC) has been included in the Release 12 of the long-term evolution (LTE) standard. In this paper, we perform a formal security verification of the key establishment protocol for DC in small cell LTE networks. In particular, the security verification is performed using a popular tool called Scyther. The considered security properties include secrecy and reachability. We also simulate a key leakage and show that some security claims in this case can be falsified.

Pages: 20 to 25

Copyright: Copyright (c) IARIA, 2017

Publication date: October 8, 2017

Published in: conference

ISSN: 2326-9286

ISBN: 978-1-61208-596-8

Location: Athens, Greece

Dates: from October 8, 2017 to October 12, 2017