A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR-Reference-Cited by-同舟云学术

A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR

Published:2012-02-22 Issue:1 Volume:2012 Page:
ISSN:1687-1499
Container-title:EURASIP Journal on Wireless Communications and Networking
language:en
Short-container-title:J Wireless Com Network

Author:

Aiash Mahdi,Mapp Glenford,Lasebae Aboubaker,Phan Raphael,Loo Jonathan

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Computer Science Applications,Signal Processing

Link

http://link.springer.com/article/10.1186/1687-1499-2012-57/fulltext.html

Reference29 articles.

1. Jochen S: Mobile Communications. Pearson Education Limited, UK; 2003.

2. Long Term Evolution Protocol Overview, Freescale Semiconductor, 2008[ http://www.freescale.com/files/wireless_comm/doc/white_paper/LTEPTCLOVWWP.pdf ]

3. Aiash M, Mapp G, Lasebae A: A QoS framework for Heterogeneous Networking. In ICWN2011. London UK; 2011:1765-1769.

4. Internet Engineering Task Force: Handover keying working group (hokey wg).[ http://www.ietf.org/html.charters/hokey-charter.html ]

5. 3rd Generation Partnership Project (3GPP)[ http://www.3gpp.org/ ]

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems;Computational Intelligence;2021-02-09

2. Policy-Based Security Management System for 5G Heterogeneous Networks;Wireless Communications and Mobile Computing;2019-11-14

3. Blind key distribution mechanism to secure wireless metropolitan area network;CSI Transactions on ICT;2016-12

4. Formal Security Analysis of EAP-ERP Using Casper;IEEE Access;2016

5. Designing and verifying a P2P service security protocol in M2M environment;Peer-to-Peer Networking and Applications;2015-07-26