Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR

International Journal of Communication Systems

Volumn 27, Issue 12, 2014, Pages 3600-3618

  Aiash, M ^a   Loo, J ^a  

^a MIDDLESEX UNIVERSITY   (United Kingdom)

Author keywords

Authentication and key agreement protocols; Casper FDR; Heterogeneous networks

Indexed keywords

AUTHENTICATION; COMPUTER TERMINALS; CRYPTOGRAPHY; FORMAL METHODS; HETEROGENEOUS NETWORKS; LONG TERM EVOLUTION (LTE); MOBILE SECURITY; MOBILE TELECOMMUNICATION SYSTEMS; NEXT GENERATION NETWORKS; QUALITY OF SERVICE;

AUTHENTICATION AND KEY AGREEMENT PROTOCOLS; AUTHENTICATION PROTOCOLS; CASPER/FDR; CONVERGENCE OF NETWORKS; HETEROGENEOUS ENVIRONMENTS; NETWORK INFRASTRUCTURE; OPEN ENVIRONMENT; SECURE SERVICES;

NETWORK SECURITY;

EID: 84914666586     PISSN: 10745351     EISSN: 10991131     Source Type: Journal    
DOI: 10.1002/dac.2561     Document Type: Article

References (40)

1. Internet Engineering Task Force. Handover keying working group (hokey wg). (Available from: http://www.ietf.org/html.charters/hokey-charter.html) [Accessed 06 August 2012].
2. 3rd Generation Partnership Project (3GPP). (Available from: http://www.3gpp.org/) [Accessed 06 August 2012].
3. Institute of Electrical and Electronics Engineers. IEEE 802.21/D8.0 Draft Standard for Local and Metropolitan Area Networks: Media Independent Handover Services, 2007.
4. Ali AS. Authentication and Key Management in Heterogeneous Wireless Networks, Electrical and Computer Engineering, The University of British Columbia, 2010.
5. Aiash M, Mapp G, Lasebae A, Phan R, Loo J. A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR. EURASIP Journal on Wireless Communications and Networking 2012; 2012:57-80.
6. Hohendorf C, Unurkhaan E, Dreibholz T. Secure SCTP, 2005. draft-hohendorf-secure-sctp-00.
7. Tuexen M, Stewart R, Lei P, Rescorla E. Authenticated Chunks for Stream Control Transmission Protocol (SCTP), 2007. draft-ietf-tsvwg-sctp-auth-08.txt.
8. Masahiro K, Mariko Y, Ryoji O, Shinsaku K, Tanaka T. Secure service and network framework for mobile ethernet. Wireless Personal Communications 2004; 29:161-190.
9. Chao H-C, Zeadally S, Chen Y-S, Martinez G,Wang R-C. Next Generation Networks (NGNs). International Journal of Communication Systems 2010; 23:691-693. DOI: 10.1002/dac.1144.
10. Ryan P, Schneider S, Goldsmith M, Lowe G, Roscoe AW. The Modelling and Analysis of Security Protocols. PEARSON Ltd.: Edinburgh Gate, UK, 2010.
11. Roscoe AW. Modelling and verifying key-exchange protocols using CSP and FDR. 8th IEEE Computer Security Foundations Workshop, County Kerry, Ireland, 1995; 98-107.
12. Schneider S. Security properties and CSP. IEEE Symposium on Security and Privacy, Oakland, California, 1996; 174-187.
13. Formal systems (Europe) Ltd.: Failures-Divergence Refinement. FDR2 User Manual. (Available from: http://www. fsel.com/documentation/fdr2/fdr2manual.pdf) [Accessed 19 August 2011].
14. Lowe G, Broadfoot P, Dilloway C, HuiM. Casper, A compiler for the Analysis of security protocol, 2011. (Available from: http://www.comlab.ox.ac.uk/gavin.lowe/Security/Casper/) [Accessed 19 August 2011].
15. Almeida M, Corujo D, Sargento S, Jesus V, Aguiar R. An End-to-end QoS framework for 4G mobile heterogeneous environments. OpenNet Workshop (2007), Diegem, Belgium, 2007.
16. Aiash M, Mapp G, Lasebae A. A QoS framework for heterogeneous networking. ICWN2011, London, UK, 2011.
17. International Telecommunication Union (ITU-T), Global Information Infrastructure. Internet protocol aspects and next generation networks, 2004. Y.140.1.
18. BartoliM, Baumgartner F, Brandauer C, Braun T, Kardos S, Orl F, ScheideggerM, Seger J. The intermon simulation framework. In Proceedings of the Second Inter-Domain Performance and Simulation Workshop, Budapest, Hungary, 2004.
19. Aiash M, Mapp G, Lasebae A. A AL Nemrat: Supporting LTE Networks in Heterogeneous Environment using the Y-Comm Framework. In Proceeding of: The Fourth International Conference on Networks & Communications (NETCOM-2012), Chennai, India; 125-136.
20. The LTE/LTE Advanced Guidea semi-annual publication on LTE/LTE Advanced. (Available from: http://lteportal. com/LTEBusinessGuide).
21. Johnson D, Perkins C, Arkko J. Mobility Support in IPv6, 2004. RFC 3775.
22. McCann P. Mobile IPv6 Fast Handovers for 802.11 Networks, 2005. RFC 4260.
23. He D, Chen C, Chan S, Bu J. Strong roaming authentication technique for wireless and mobile networks. International Journal of Communication Systems 2012. DOI: 10.1002/dac.1387. Early view of an online version.
24. Chen C, He D, Chan S, Bu J, Gao Y, Fan R. Lightweight and provably secure user authentication with anonymity for the global mobility network. International Journal of Communication Systems 2010; 24:347-362. DOI: 10.1002/dac.1158.
25. Qi X. A new authenticated key agreement for session initiation protocol. International Journal of Communication Systems 2011; 25:47-54. DOI: 10.1002/dac.1286.
26. You I, Lee J-H, Kim B, Ilsun Y, Jong-Hyouk L, Bonam K. caTBUA: context-aware ticket-based binding update authentication protocol for trust-enabled mobile networks. International Journal of Communication Systems 2010; 23:1382-1404. DOI: 10.1002/dac.1113.
27. Dierks T, Allen C. The TLS Protocol, 1999. RFC 2246.
28. Jalali-Sohi M, Ebinger P. Towards efficient PKIs for restricted mobile devices. International Conference on Communications and Computer Networks (CCN), Cambridge, Massachusetts, 2002; 42-47.
29. Stewart R. Stream Control Transmission Protocol, 2007. RFC 4960.
30. Cerf V, Dalal Y. Specification of internet transmission control program, 1974. RFC 675.
31. Postel J. User Datagram Protocol, 1980. RFC 768.
32. Riegel M, Tuexen M. Mobile SCTP, 2005. draft-riegel-tuexen-mobile-sctp-05.txt.
33. Kuroda M, Inoue M, Okubo A, Sakakura T, Shimizu K, Adachi F. Scalable mobile ethernet and fast vertical handover. IEEE Wireless Communications and Networking Conference, Atlanta, Georgia, 2004; 659-664.
34. Menezes A, van Oorschot P, Vanstone S. Handbook of Applied Cryptography. CRC Press: Florida, USA, 1996.
35. Chandra P. Bulletproof wireless security: GSM, UMTS, 802.11 and ad hoc security, Newnes. Oxford, 2005. 129-158, 2005.
36. Aiash M, Mapp G, Lasebae A, Phan R. Providing security in 4G systems: Unveiling the challenges. AICT 2010, Barcelona, Spain, 2010; 439-444. May 9-15, 2010.
37. Stig Fr M, Joe-Kai T. Computational Security Analysis of the UMTS and LTE Authentication and Key Agreement Protocols. CoRR, abs/1203.3866, 2012.
38. Aiash M, Mapp G, Lasebae A, Phan R. A survey on authentication and key agreement protocols in heterogeneous networks. International Journal of Network Security & Its Applications (IJNSA) 2012; 4(4):199-2014.
39. Hoffman P. Cryptographic Suites for IPsec, December 2005. Request for Comments: 4308.
40. Aboba B, Blunk L, Vollbrecht J, Carlson J, Levkowetz H. Extensible Authentication Protocol (EAP), June 2004. Request for Comments: 3748.