Mahdi Aiash, Glenford E. Mapp, Aboubaker Lasebae, Raphael Chung-Wei Phan, Jonathan Loo. A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR. EURASIP J. Wireless Comm. and Networking, 2012:57, 2012. [doi]
Abstract is missing.