Figure 7From: A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDRThe first version of the proposed AKA protocol.Back to article page