Figure 9From: A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDRAttack against the WeakAgreement(DesAuth, DesDA3C) assertion.Back to article page