Figure 2From: A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDRThe network structure.Back to article page