A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR
Mahdi Aiash, Glenford Mapp, Aboubaker Lasebae, Raphael Phan, Jonathan LooVolume:
2012
Language:
english
DOI:
10.1186/1687-1499-2012-57
Date:
December, 2012
File:
PDF, 745 KB
english, 2012