Security Verification of Trust-Based Authentication Handover in IP Networks. - Saleh Al-shadly; Omar Alfandi; Henrik Brosenne; Dieter Hogrefe (ICCCN, 2011)