A Formally Verified Protocol for Secure Vertical Handovers in 4G Heterogeneous Networks

Provided by: Science & Engineering Research Support soCiety (SERSC)
Topic: Security
Format: PDF
In this paper, the authors propose a formally verified protocol to securely manage vertical handovers Heterogeneous Networks (HetNets), even when different cryptographic algorithms are used in the infrastructure. The protocol presentation goes with a review of the current propositions of security mechanisms and procedures dedicated to manage vertical handovers. From a critical analysis, the HetNets are positioned in the context of wireless security to describe the possible attacks that afflict this new kind of infrastructure.

Find By Topic