Security Verification of Trust-Based Authentication Handover in IP Networks | IEEE Conference Publication | IEEE Xplore