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