Figure 1From: A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDRThe future internet architecture.Back to article page