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