Younchan Jung, Enrique Festijo: Secure Mobility Management Based on Session Key Agreements. CSS 2012: 427-440