Figure 8From: A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDRAttack against the Secret(DesAuth,DesSK,[MT, DesDA3C]) assertion.Back to article page