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