Figure 6From: A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDRThe key hierarchy.Back to article page