Figure 3From: A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDRThe AKA protocol for handover of the mobile ethernet.Back to article page