A formally verified device authentication protocol using Casper/FDR

Conference paper


Aiash, M., Mapp, G., Phan, R., Lasebae, A. and Loo, J. 2012. A formally verified device authentication protocol using Casper/FDR. Min, G., Wu, Y., Liu, L., Jin, X., Jarvis, S. and Al-Dubai, A. (ed.) 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2012). Liverpool, UK 25 - 27 Jun 2012 IEEE. pp. 1293-1298 https://doi.org/10.1109/TrustCom.2012.27
TypeConference paper
TitleA formally verified device authentication protocol using Casper/FDR
AuthorsAiash, M., Mapp, G., Phan, R., Lasebae, A. and Loo, J.
Abstract

For communication in Next Generation Networks, highly-developed mobile devices will enable users to store and manage a lot of credentials on their terminals. Furthermore, these terminals will represent and act on behalf of users when accessing different networks and connecting to a wide variety of services. In this situation, it is essential for users to trust their terminals and for all transactions using them to be secure. This paper analyses a number of the Authentication and Key Agreement protocols between the users and mobile terminals, then proposes a novel device authentication protocol. The proposed protocol is analysed and verified using a formal methods approach based on Casper/FDR compiler.

Research GroupSensoLab group
Conference11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2012)
Page range1293-1298
EditorsMin, G., Wu, Y., Liu, L., Jin, X., Jarvis, S. and Al-Dubai, A.
ISBN
Hardcover9781467321723
PublisherIEEE
Publication dates
Print01 Jan 2012
Publication process dates
Deposited06 Jun 2012
Output statusPublished
Accepted author manuscript
Additional information

Paper presented in The 11th IEEE International Conference on
Trust, Security and Privacy in Computing and Communications, Liverpool, United Kingdom, June 25-27, 2012.

Digital Object Identifier (DOI)https://doi.org/10.1109/TrustCom.2012.27
LanguageEnglish
Book title2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
Permalink -

https://repository.mdx.ac.uk/item/83q25

Download files


Accepted author manuscript
  • 76
    total views
  • 7
    total downloads
  • 4
    views this month
  • 1
    downloads this month

Export as

Related outputs

Energy efficiency optimisation of joint computational task offloading and resource allocation using particle swarm optimisation approach in vehicular edge networks
Alam, A., Shah, P., Trestian, R., Ali, K. and Mapp, G. 2024. Energy efficiency optimisation of joint computational task offloading and resource allocation using particle swarm optimisation approach in vehicular edge networks. Sensors. 24 (10). https://doi.org/10.3390/s24103001
A novel bio-inspired bat node scheduling algorithm for dependable safety-critical wireless sensor network systems
Al-Nader, I., Lasebae, A., Raheem, R. and Ngondi, G. 2024. A novel bio-inspired bat node scheduling algorithm for dependable safety-critical wireless sensor network systems. Sensors. 24 (6). https://doi.org/10.3390/s24061928
A novel scheduling algorithm for improved performance of multi-objective safety-critical WSN using spatial self-organizing feature map
Al-Nader, I., Lasebae, A. and Raheem, R. 2024. A novel scheduling algorithm for improved performance of multi-objective safety-critical WSN using spatial self-organizing feature map. Electronics. 13 (1). https://doi.org/10.3390/electronics13010019
Building an intelligent edge environment to provide essential services in smart cities
Karthick, G., Mapp, G. and Crowcroft, J. 2023. Building an intelligent edge environment to provide essential services in smart cities. 18th Workshop on Mobility in the Evolving Internet Architecture . Madrid Spain 06 - 06 Oct 2023 New York, NY, United States Association for Computing Machinery (ACM). pp. 13-18 https://doi.org/10.1145/3615587.3615987
Efficient design for smart environment using Raspberry Pi with Blockchain and IoT (BRIoT)
Ponugumati, S., Ali, K., Lasebae, A., Zahoor, Z., Kiyani, A., Khoshkholghi, A. and Maddu, L. 2023. Efficient design for smart environment using Raspberry Pi with Blockchain and IoT (BRIoT). CCGridW: 4th Workshop on Secure IoT, Edge and Cloud Systems (SioTEC) 2023. Bangalore, India 01 - 04 May 2023 IEEE. pp. 75-80 https://doi.org/10.1109/CCGridW59191.2023.00026
Developing a novel digital forensics readiness framework for wireless medical networks using specialised logging
Mpungu, C., George, C. and Mapp, G. 2023. Developing a novel digital forensics readiness framework for wireless medical networks using specialised logging. Jahankhani, H. (ed.) 14th ICGS3-22: International Conference on Global Security, Safety and Sustainability. Virtual Conference 07 - 08 Sep 2022 Springer. pp. 203-226 https://doi.org/10.1007/978-3-031-20160-8_12
Joint energy and spectral optimization in Heterogeneous Vehicular Network
Alam, A., Ali, K., Trestian, R., Shah, P. and Mapp, G. 2023. Joint energy and spectral optimization in Heterogeneous Vehicular Network. Computer Networks. 238. https://doi.org/10.1016/j.comnet.2023.110111
A novel scheduling algorithm for improved performance of multi-objective safety-critical wireless sensor networks using long short-term memory
Al-Nader, I., Lasebae, A., Raheem, R. and Khoshkholghi, A. 2023. A novel scheduling algorithm for improved performance of multi-objective safety-critical wireless sensor networks using long short-term memory. Electronics. 12 (23). https://doi.org/10.3390/electronics12234766
Leveraging oversampling techniques in machine learning models for multi-class malware detection in smart home applications
Chowdhury, A., Isalm, M., Kaisar, S., Naha, R., Khoshkholghi, A., Aiash, M. and Khoda, M.E. 2023. Leveraging oversampling techniques in machine learning models for multi-class malware detection in smart home applications. IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications. Exeter, United Kingdom 01 - 03 Nov 2023 IEEE. pp. 2216-2221
A new perceptron based neural-network algorithm to enhance the scheduling performance of safety-critical WSNs of increased dependability
Al-Nader, I, Lasebae, A. and Raheem, R. 2023. A new perceptron based neural-network algorithm to enhance the scheduling performance of safety-critical WSNs of increased dependability. 8th World Conference on Information Systems for Business Management. Bangkok, Thailand 07 - 08 Sep 2023 Springer.
Using Hidden Markov Chain for improving the dependability of safety-critical WSNs
Al-Nader, I., Lasebae, A. and Raheem, R. 2023. Using Hidden Markov Chain for improving the dependability of safety-critical WSNs. Barolli, L. (ed.) 37th International Conference on Advanced Information Networking and Applications. Federal University of Juiz de Fora, Brazil 29 - 31 Mar 2023 Cham, Switzerland. Springer. pp. 460–472 https://doi.org/10.1007/978-3-031-29056-5_40
Performance and cryptographic evaluation of security protocols in distributed networks using applied pi calculus and Markov Chain
Edris, E., Aiash, M., Khoshkholghi, A., Naha, R., Chowdhury, A. and Loo, J. 2023. Performance and cryptographic evaluation of security protocols in distributed networks using applied pi calculus and Markov Chain. Internet of Things. 24. https://doi.org/10.1016/j.iot.2023.100913
IoT-based emergency vehicle services in intelligent transportation system
Chowdhury, A., Kaisar, S., Khoda, M., Naha, R., Khoshkholghi, A. and Aiash, M. 2023. IoT-based emergency vehicle services in intelligent transportation system. Sensors. 23 (11). https://doi.org/10.3390/s23115324
An introduction of a modular framework for securing 5G networks and beyond
Edris, E., Aiash, M. and Loo, J. 2022. An introduction of a modular framework for securing 5G networks and beyond. Network. 2 (3), pp. 419-439. https://doi.org/10.3390/network2030026
Novel group handover mechanism for cooperative and coordinated mobile femtocells technology in railway environment
Raheem, R., Lasebae, A. and Raheem, A. 2022. Novel group handover mechanism for cooperative and coordinated mobile femtocells technology in railway environment. Array. 15. https://doi.org/10.1016/j.array.2022.100223
Exploring new traffic prediction models to build an intelligent transport system for Smart Cities
Mehta, V., Mapp, G. and Gandhi, V. 2022. Exploring new traffic prediction models to build an intelligent transport system for Smart Cities. IEEE/IFIP Network Operations and Management Symposium. Hungary 25 - 29 Apr 2022 pp. 1-6
Cooperative and coordinated Mobile Femtocells technology in high-speed vehicular environments: mobility and interference management
Raheem, R., Lasebae, A., Petridis, M. and Raheem, A. 2021. Cooperative and coordinated Mobile Femtocells technology in high-speed vehicular environments: mobility and interference management. Barolli, L., Woungang, I. and Enokido, T. (ed.) 35th International Conference on Advanced Information Networking and Applications (AINA-2021). Ryerson University, Toronto, Canada (Held Online) 12 - 14 May 2021 Springer. https://doi.org/10.1007/978-3-030-75100-5_56
Formalization and evaluation of EAP-AKA’ protocol for 5G network access security
Edris, E., Aiash, M. and Loo, J. 2022. Formalization and evaluation of EAP-AKA’ protocol for 5G network access security. Array. 16. https://doi.org/10.1016/j.array.2022.100254
Securing future healthcare environments in a post-COVID-19 world: moving from frameworks to prototypes
Vithanwattana, N., Karthick, G., Mapp, G., George, C. and Samuels, A. 2022. Securing future healthcare environments in a post-COVID-19 world: moving from frameworks to prototypes. Journal of Reliable Intelligent Environments. 8 (3), pp. 299-315. https://doi.org/10.1007/s40860-022-00180-7
A new privacy framework for the management of chronic diseases via mHealth in a post-Covid-19 world
Jusob, F., George, C. and Mapp, G. 2022. A new privacy framework for the management of chronic diseases via mHealth in a post-Covid-19 world. Journal of Public Health. 30 (1), pp. 37-47. https://doi.org/10.1007/s10389-021-01608-9
3D analytical modelling and iterative solution for high performance computing clusters
Kirsal, Y., Kirsal Ever, Y., Mapp, G. and Raza, M. 2022. 3D analytical modelling and iterative solution for high performance computing clusters. IEEE Transactions on Cloud Computing. 10 (4), pp. 2238-2251. https://doi.org/10.1109/TCC.2021.3055119
Exploring a new security framework for future healthcare systems
Vithanwattana, N., Karthick, G., Mapp, G. and George, C. 2021. Exploring a new security framework for future healthcare systems. IEEE Global Communications Conference: Workshop on Securing Next-Generation Connected Healthcare Systems using Futuristic Technologies. Madrid, Spain [Hybrid: In-Person and Virtual] 07 - 11 Dec 2021 IEEE. pp. 1-6 https://doi.org/10.1109/GCWkshps52748.2021.9681967
A smart sensor grid to enhance irrigation techniques in Jordan using a novel event-based routing protocol
Rantisi, M., Mapp, G. and Gemikonakli, O. 2017. A smart sensor grid to enhance irrigation techniques in Jordan using a novel event-based routing protocol. Multimodal Technologies and Interaction. 1 (2). https://doi.org/10.3390/mti1020009
Connected vehicle testbed: development & deployment of C-ITS in the UK
Mapp, G., Ghosh, A., Paranthaman, V., Dohler, M. and Sardis, F. 2018. Connected vehicle testbed: development & deployment of C-ITS in the UK. Middlesex Repository Middlesex University.
Building an Intelligent Transport Information Platform for Smart Cities
Mapp, G., Ghosh, A. and Paranthaman, V. 2017. Building an Intelligent Transport Information Platform for Smart Cities. Middlesex University Research Repository Middlesex University.
DCSS protocol for data caching and sharing security in a 5G network
Edris, E., Aiash, M. and Loo, J. 2021. DCSS protocol for data caching and sharing security in a 5G network. Network. 1 (2), pp. 75-94. https://doi.org/10.3390/network1020006
Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems
Karthick, G., Mapp, G., Kammueller, F. and Aiash, M. 2022. Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems. Computational Intelligence. 38 (3), pp. 811-828. https://doi.org/10.1111/coin.12421
Robust continuous user authentication system using long short term memory network for healthcare
Tanveer, A., Lasebae, A., Ali, K., Alkhayyat, A., Ur-Rehman, M., Haq, B. and Naeem, B. 2021. Robust continuous user authentication system using long short term memory network for healthcare. Ur-Rehman, M. and Zoha, A. (ed.) 16th EAI International Conference on Body Area Networks. Glasgow, UK (Online) 25 - 26 Oct 2021 Cham Springer. https://doi.org/10.1007/978-3-030-95593-9_22
Developing traffic predictions from source to destination using probabilistic modelling
Mehta, V., Gandhi, V. and Mapp, G. 2021. Developing traffic predictions from source to destination using probabilistic modelling. Third UK Mobile, Wearable and Ubiquitous Systems Research Symposium. Online via Zoom 05 - 06 Jul 2021
Formal verification of authentication and service authorization protocols in 5G-enabled device-to-device communications using ProVerif
Edris, E., Aiash, M. and Loo, J. 2021. Formal verification of authentication and service authorization protocols in 5G-enabled device-to-device communications using ProVerif. Electronics. 10 (13). https://doi.org/10.3390/electronics10131608
Security in network services delivery for 5G enabled D2D communications: challenges and solutions
Edris, E., Aiash, M. and Loo, J. 2021. Security in network services delivery for 5G enabled D2D communications: challenges and solutions. in: Montasari, R., Jahankhani, H. and Al-Khateeb, H. (ed.) Challenges in the IoT and Smart Environments: A Practitioners' Guide to Security, Ethics and Criminal Threats Cham Springer. pp. 1-27
Exploring analytical models for proactive resource management in highly mobile environments
Kirsal, Y., Paranthaman, V. and Mapp, G. 2018. Exploring analytical models for proactive resource management in highly mobile environments. International Journal of Computers, Communications and Control. 13 (5), pp. 837-852. https://doi.org/10.15837/ijccc.2018.5.3349
Formal verification of secondary authentication protocol for 5G secondary authentication
Edris, E., Aiash, M., Loo, J. and Alhakeem, M. 2021. Formal verification of secondary authentication protocol for 5G secondary authentication. International Journal of Security and Networks. 16 (4), pp. 223-234. https://doi.org/10.1504/IJSN.2021.119379
Heuristic edge server placement in Industrial Internet of Things and cellular networks
Kasi, S., Kasi, M., Ali, K., Raza, M., Afzal, H., Lasebae, A., Naeem, B., Islam, S. and Rodrigues, J. 2021. Heuristic edge server placement in Industrial Internet of Things and cellular networks. IEEE Internet of Things Journal. 8 (13), pp. 10308-10317. https://doi.org/10.1109/JIOT.2020.3041805
Continuous user authentication featuring keystroke dynamics based on robust recurrent confidence model and ensemble learning approach
Kiyani, A., Lasebae, A., Ali, K., Ur-Rehman, M. and Haq, B. 2020. Continuous user authentication featuring keystroke dynamics based on robust recurrent confidence model and ensemble learning approach. IEEE Access. 8, pp. 156177-156189. https://doi.org/10.1109/ACCESS.2020.3019467
Exploring real time traffic signalling using probabilistic approach in intelligent transport system
Mehta, V., Gandhi, V. and Mapp, G. 2018. Exploring real time traffic signalling using probabilistic approach in intelligent transport system. Mobi-UK 2018. University of Cambridge, Cambridge, UK 12 - 13 Sep 2018
Exploring real time traffic signalling using probabilistic approach in intelligent transport system
Mehta, V., Gandhi, V. and Mapp, G. 2018. Exploring real time traffic signalling using probabilistic approach in intelligent transport system. 3rd CommNet2 PhD Autumn School. University of Sheffield, Sheffield, UK 17 - 19 Sep 2018
Exploring a new framework to build mobile QoS-aware applications and services for future internet
Ezenwigbo, A., Kirsal, Y., Paranthaman, V., Mapp, G. and Trestian, R. 2018. Exploring a new framework to build mobile QoS-aware applications and services for future internet. Journal of Communications. 13 (10), pp. 559-573. https://doi.org/10.12720/jcm.13.10.559-573
Towards autonomous driving: a machine learning-based pedestrian detection system using 16-layer LiDAR
Mihai, S., Shah, P., Mapp, G., Nguyen, H. and Trestian, R. 2020. Towards autonomous driving: a machine learning-based pedestrian detection system using 16-layer LiDAR. COMM 2020. Bucharest, Romania 18 - 20 Jun 2020 Institute of Electrical and Electronics Engineers (IEEE). pp. 271-276 https://doi.org/10.1109/COMM48946.2020.9142042
Exploring the provision of reliable network storage in highly mobile environments
Ezenwigbo, A., Ramirez, J., Karthick, G., Mapp, G. and Trestian, R. 2020. Exploring the provision of reliable network storage in highly mobile environments. COMM 2020. Bucharest, Romania 18 - 20 Jun 2020 Institute of Electrical and Electronics Engineers (IEEE). pp. 255-260 https://doi.org/10.1109/COMM48946.2020.9142033
ZKPVM: a zero-knowledge authentication protocol for VMs' live migration in mobile cloud computing
Edris, E. and Aiash, M. 2018. ZKPVM: a zero-knowledge authentication protocol for VMs' live migration in mobile cloud computing. ICSOFT 2018: 13th International Conference on Software Technologies. Porto, Portugal 26 - 28 Jul 2018 pp. 858-864
Investigating network services abstraction in 5G enabled device-to-device (D2D) communications
Edris, E., Aiash, M. and Loo, J. 2019. Investigating network services abstraction in 5G enabled device-to-device (D2D) communications. 2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI). Leicester, United Kingdom 19 - 23 Aug 2019 Institute of Electrical and Electronics Engineers (IEEE). pp. 1660-1665 https://doi.org/10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00296
The case for federated identity management in 5G communications
Edris, E., Aiash, M. and Loo, J. 2020. The case for federated identity management in 5G communications. The Fifth International Conference on Fog and Mobile Edge Computing (FMEC 2020). Paris, France 30 Jun - 03 Jul 2020 Institute of Electrical and Electronics Engineers (IEEE). pp. 120-127 https://doi.org/10.1109/FMEC49853.2020.9144855
Formal verification and analysis of primary authentication based on 5G-AKA protocol
Edris, E., Aiash, M. and Loo, J. 2020. Formal verification and analysis of primary authentication based on 5G-AKA protocol. Third International Symposium on 5G Emerging Technologies (5GET 2020) in conjunction with the Fourth International Conference on Fog and Mobile Edge Computing (FMEC 2020). Paris, France 30 Jun - 03 Jul 2020 Institute of Electrical and Electronics Engineers (IEEE). pp. 256-261 https://doi.org/10.1109/SDS49854.2020.9143899
Network service federated identity (NS-FId) protocol for service authorization in 5G network
Edris, E., Aiash, M. and Loo, J. 2020. Network service federated identity (NS-FId) protocol for service authorization in 5G network. The Fifth International Conference on Fog and Mobile Edge Computing (FMEC 2020). Paris, France 30 Jun - 03 Jul 2020 Institute of Electrical and Electronics Engineers (IEEE). pp. 128-135
A new service management framework for vehicular networks
Ramirez, J., Ezenwigbo, A., Karthick, G., Trestian, R. and Mapp, G. 2020. A new service management framework for vehicular networks. 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops. Paris, France 23 - 27 Feb 2020 IEEE. pp. 162-164 https://doi.org/10.1109/ICIN48450.2020.9059441
Intrusion detection and classification with autoencoded deep neural network
Rezvy, S., Petridis, M., Lasebae, A. and Zebin, T. 2019. Intrusion detection and classification with autoencoded deep neural network. Lanet, J. and Toma, C. (ed.) SecITC 2018: International Conference on Security for Information Technology and Communications. Bucharest, Romania 08 - 09 Nov 2018 Switzerland Springer Nature. https://doi.org/10.1007/978-3-030-12942-2_12
An efficient deep learning model for intrusion classification and prediction in 5G and IoT networks
Rezvy, S., Luo, Y., Petridis, M., Lasebae, A. and Zebin, T. 2019. An efficient deep learning model for intrusion classification and prediction in 5G and IoT networks. 2019 53rd Annual Conference on Information Sciences and Systems (CISS). Baltimore, MD, USA, USA 20 - 22 Mar 2019 IEEE. pp. 1-6 https://doi.org/10.1109/CISS.2019.8693059
The impacts of internal threats towards routing protocol for low power and lossy network performance
Le, A., Loo, J., Luo, Y. and Lasebae, A. 2013. The impacts of internal threats towards routing protocol for low power and lossy network performance. 2013 IEEE Symposium on Computers and Communications (ISCC). https://doi.org/10.1109/ISCC.2013.6755045
Developing traffic prediction and congestion algorithms for a C-ITS network
Mehta, V., Gandhi, V. and Mapp, G. 2019. Developing traffic prediction and congestion algorithms for a C-ITS network. Second UK Mobile, Wearable and Ubiquitous Systems Research Symposium. Dept of Computer Science, University of Oxford, UK 01 Jul 2019
Exploring a security protocol for secure service migration in commercial cloud environments
Karthick, G., Mapp, G., Kammueller, F. and Aiash, M. 2017. Exploring a security protocol for secure service migration in commercial cloud environments. ICC’17. Cambridge University, Cambridge 22 Mar 2019 ICC’17, Cambridge, United Kingdom © 2017 ACM.. pp. 1-6 https://doi.org/10.1145/3018896.3056795
Using advanced handover and localization techniques for maintaining quality-of-service of mobile users in heterogeneous cloud-based environment
Kirsal, Y., Mapp, G. and Sardis, F. 2019. Using advanced handover and localization techniques for maintaining quality-of-service of mobile users in heterogeneous cloud-based environment. Journal of Network and Systems Management. 27 (4), pp. 927-997. https://doi.org/10.1007/s10922-019-09494-z
Exploring intelligent service migration in vehicular networks
Ezenwigbo, A., Paranthaman, V., Mapp, G. and Trestian, R. 2019. Exploring intelligent service migration in vehicular networks. Gao, H., Yin, Y., Yang, X. and Miao, H. (ed.) TridentCom 2018: International Conference on Testbeds and Research Infrastructures. Shanghai, China 16 - 18 Nov 2018 Springer. pp. 41-61 https://doi.org/10.1007/978-3-030-12971-2_3
Exploiting resource contention in highly mobile environments and its application to vehicular ad-hoc networks
Paranthaman, V., Kirsal, Y., Mapp, G., Shah, P. and Nguyen, H. 2019. Exploiting resource contention in highly mobile environments and its application to vehicular ad-hoc networks. IEEE Transactions on Vehicular Technology. 68 (4), pp. 3805-3819. https://doi.org/10.1109/tvt.2019.2902245
A QoS-based flow assignment for traffic engineering in software-defined networks
Thiruvasakan, L., Vien, Q., Loo, J. and Mapp, G. 2019. A QoS-based flow assignment for traffic engineering in software-defined networks. Barolli, L., Takizawa, M., Xhafa, F. and Enokido, T. (ed.) 33rd International Conference on Advanced Information Networking and Applications (AINA-2019). Matsue, Japan 27 - 29 Mar 2019 Springer. pp. 762-774 https://doi.org/10.1007/978-3-030-15032-7_64
Exploring the need for a suitable privacy framework for mHealth when managing chronic diseases
Jusob, F., George, C. and Mapp, G. 2017. Exploring the need for a suitable privacy framework for mHealth when managing chronic diseases. Journal of Reliable Intelligent Environments. 3 (4), pp. 243-256. https://doi.org/10.1007/s40860-017-0049-7
Project-based cooperative learning to enhance competence while teaching engineering modules
Gandhi, V., Yang, Z. and Aiash, M. 2017. Project-based cooperative learning to enhance competence while teaching engineering modules. International Journal of Continuing Engineering Education and Life-Long Learning. 27 (3), pp. 198-208. https://doi.org/10.1504/IJCEELL.2017.10003462
Investigating the impact of live migration on the network infrastructure in enterprise environments
Sinti, J., Jiffry, F. and Aiash, M. 2014. Investigating the impact of live migration on the network infrastructure in enterprise environments. Advanced Information Networking and Applications Workshops (WAINA), 2014 28th International Conference on. Victoria, Canada 13 - 16 May 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 154-159 https://doi.org/10.1109/WAINA.2014.34
Virtualization and cyber security: arming future security practitioners
Tharayanil, M., Whitney, G., Aiash, M. and Benzaid, C. 2015. Virtualization and cyber security: arming future security practitioners. IEEE Trustcom/BigDataSE/ISPA: EFINS 2015 The 2nd IEEE International Workshop on the Emerging Future Internet and Network Security. Helsinki, Finland 20 - 22 Aug 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 1398-1402 https://doi.org/10.1109/trustcom.2015.537
A progressive approach to design authentication protocols for mobile heterogeneous networks
Kenaza, T., Aiash, M., Loo, J., Lasebae, A. and Whitney, G. 2016. A progressive approach to design authentication protocols for mobile heterogeneous networks. IEEE Trustcom/BigDataSE/I​SPA, 2016. Tianjin, China 23 - 26 Aug 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 1776-1781 https://doi.org/10.1109/trustcom.2016.0273
A specification-based IDS for detecting attacks on RPL-based network topology
Le, A., Loo, J., Chai, K. and Aiash, M. 2016. A specification-based IDS for detecting attacks on RPL-based network topology. Information. 7 (2). https://doi.org/10.3390/info7020025
A security framework for node-to-node communications based on the LISP architecture
Kallash, M., Loo, J., Lasebae, A. and Aiash, M. 2018. A security framework for node-to-node communications based on the LISP architecture. International Journal of Electronic Security and Digital Forensics. 10 (3), pp. 276-291. https://doi.org/10.1504/IJESDF.2018.093024
Formalization and analysis of a resource allocation security protocol for secure service migration
Karthick, G., Mapp, G., Kammueller, F. and Aiash, M. 2018. Formalization and analysis of a resource allocation security protocol for secure service migration. IEEE/ACM International Conference on Utility and Cloud Computing (UCC2018). Zurich, Switzerland 17 - 20 Dec 2018 IEEE. pp. 207-212 https://doi.org/10.1109/UCC-Companion.2018.00058
Exploring a new transport protocol for vehicular networks
Ezenwigbo, A., Paranthaman, V., Trestian, R., Mapp, G. and Sardis, F. 2018. Exploring a new transport protocol for vehicular networks. 5th International Conference on Internet of Things: Systems, Management and Security (IoTSMS). Valencia, Spain 15 - 18 Oct 2018 IEEE. pp. 287-294 https://doi.org/10.1109/IoTSMS.2018.8554836
Exploring a new security framework for remote patient monitoring devices
Ondiege, B., Clarke, M. and Mapp, G. 2017. Exploring a new security framework for remote patient monitoring devices. Computers. 6 (1), pp. 1-12. https://doi.org/10.3390/computers6010011
Developing an implementation framework for the future internet using the Y-Comm architecture, SDN and NFV
Mapp, G., Sardis, F. and Crowcroft, J. 2016. Developing an implementation framework for the future internet using the Y-Comm architecture, SDN and NFV. 2nd International Conference on Network Softwarization, IEEE NetSoft 2016. Seoul, South Korea 06 - 10 Jun 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 43-47 https://doi.org/10.1109/NETSOFT.2016.7502440
Exploring a security protocol for secure service migration in commercial cloud environments
Karthick, G., Mapp, G., Kammueller, F. and Aiash, M. 2017. Exploring a security protocol for secure service migration in commercial cloud environments. 2nd International Conference on Internet of Things, Data and Cloud Computing (ICC 2017). Churchill College, University of Cambridge, United Kingdom 22 - 23 Mar 2017 Association for Computing Machinery (ACM). https://doi.org/10.1145/3018896.3056795
Enabling seamless V2I communications towards developing cooperative automotive applications in VANET systems
Ghosh, A., Paranthaman, V., Mapp, G., Gemikonakli, O. and Loo, J. 2015. Enabling seamless V2I communications towards developing cooperative automotive applications in VANET systems. IEEE Communications Magazine. 53 (12), pp. 80-86. https://doi.org/10.1109/MCOM.2015.7355570
Exploring a new security framework for cloud storage using capabilities
Mapp, G., Aiash, M., Ondiege, B. and Clarke, M. 2014. Exploring a new security framework for cloud storage using capabilities. 1st International Workshop on Cyber Security and Cloud Computing, a workshop of SOSE. Oxford, United Kingdom 07 - 11 Apr 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 484-489 https://doi.org/10.1109/SOSE.2014.69
Dynamic traffic management for interactive cloud services: localising traffic based on network throughput and user mobility
Sardis, F., Mapp, G., Loo, J. and Aiash, M. 2014. Dynamic traffic management for interactive cloud services: localising traffic based on network throughput and user mobility. 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC),. London, UK 08 - 11 Dec 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 298-306 https://doi.org/10.1109/UCC.2014.39
Developing a comprehensive information security framework for mHealth: a detailed analysis
Vithanwattana, N., Mapp, G. and George, C. 2017. Developing a comprehensive information security framework for mHealth: a detailed analysis. Journal of Reliable Intelligent Environments. 3 (1), pp. 21-39. https://doi.org/10.1007/s40860-017-0038-x
Admission control and buffer management of wireless communication systems with mobile stations and integrated voice and data services
Gemikonakli, E., Ever, E., Mapp, G. and Gemikonakli, O. 2017. Admission control and buffer management of wireless communication systems with mobile stations and integrated voice and data services. Telecommunication Systems. 65 (4), pp. 663-675. https://doi.org/10.1007/s11235-016-0259-y
Machine learning based botnet identification traffic
Azab, A., Alazab, M. and Aiash, M. 2016. Machine learning based botnet identification traffic. 15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-2016). Tianjin, China 23 - 26 Aug 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 1788-1794 https://doi.org/10.1109/TrustCom.2016.0275
Enhancing the SVDD accuracy in Intrusion Detection Systems by removing external voids
Kenaza, T., Bennaceur, K., Labed, A. and Aiash, M. 2016. Enhancing the SVDD accuracy in Intrusion Detection Systems by removing external voids. 15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-16). Tianjin, China 23 - 25 Aug 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 1765-1770 https://doi.org/10.1109/TrustCom.2016.0271
Toward an efficient ontology-based event correlation in SIEM
Kenazag, T. and Aiash, M. 2016. Toward an efficient ontology-based event correlation in SIEM. 7th International Conference on Ambient Systems, Networks and Technologies (ANT2016). Madrid, Spain 23 - 26 May 2016 Elsevier. pp. 139-146 https://doi.org/10.1016/j.procs.2016.04.109
Software defined networking for wireless sensor networks: a survey
Hassan, M., Vien, Q. and Aiash, M. 2017. Software defined networking for wireless sensor networks: a survey. Advances in Wireless Communications and Networks. 3 (2), pp. 10-22. https://doi.org/10.11648/j.awcn.20170302.11
Mobile femtocell utilisation in LTE vehicular environment: vehicular penetration loss elimination and performance enhancement
Raheem, R., Lasebae, A., Aiash, M., Loo, J. and Colson, R. 2017. Mobile femtocell utilisation in LTE vehicular environment: vehicular penetration loss elimination and performance enhancement. Vehicular Communications. 9 (12), pp. 31-42. https://doi.org/10.1016/j.vehcom.2017.02.003
Exploring a new proactive algorithm for resource management and its application to wireless mobile environments
Paranthaman, V., Kirsal, Y., Mapp, G., Shah, P. and Nguyen, H. 2017. Exploring a new proactive algorithm for resource management and its application to wireless mobile environments. 42nd Conference on Local Computer Networks (LCN). Singapore 09 - 12 Oct 2017 IEEE. pp. 539-542 https://doi.org/10.1109/LCN.2017.86
Interference Management and System Optimisation for Femtocells Technology in LTE and Future 4G/5G Networks
Raheem, R., Lasebae, A., Aiash, M., Loo, J., Colson, R. and Raheem, A. 2017. Interference Management and System Optimisation for Femtocells Technology in LTE and Future 4G/5G Networks. in: Yurish, S. (ed.) Advances in Networks, Security and Communications: Reviews - Volume 1 International Frequency Sensor Association Publishing.
Mobility management for vehicular user equipment in LTE/mobile femtocell networks
Raheem, R., Lasebae, A., Aiash, M. and Loo, J. 2017. Mobility management for vehicular user equipment in LTE/mobile femtocell networks. International Journal of Information Systems in the Service Sector. 9 (4), pp. 60-87. https://doi.org/10.4018/IJISSS.2017100105
UEFA-M: Utility-based energy efficient adaptive multimedia mechanism over LTE HetNet small cells
Trestian, R., Vien, Q., Shah, P. and Mapp, G. 2017. UEFA-M: Utility-based energy efficient adaptive multimedia mechanism over LTE HetNet small cells. 14th International Symposium on Wireless Communication Systems. Bologna, Italy​ 28 - 31 Aug 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 408-413 https://doi.org/10.1109/ISWCS.2017.8108149
A comparative experimental design and performance analysis of Snort-based Intrusion Detection System in practical computer networks
Karim, I., Vien, Q., Le, T. and Mapp, G. 2017. A comparative experimental design and performance analysis of Snort-based Intrusion Detection System in practical computer networks. Computers. 6 (1), pp. 1-15. https://doi.org/10.3390/computers6010006
Building a prototype VANET testbed to explore communication dynamics in highly mobile environments
Paranthaman, V., Ghosh, A., Mapp, G., Iniovosa, V., Shah, P., Nguyen, H., Gemikonakli, O. and Rahman, S. 2017. Building a prototype VANET testbed to explore communication dynamics in highly mobile environments. Guo, S., Wei, G., Xiang, Y., Lin, X. and Lorenz, P. (ed.) International Conference on Testbeds and Research Infrastructures (TridentCom 2016). Hangzhou, china 14 - 15 Jun 2016 Springer, Cham. pp. 81-90 https://doi.org/10.1007/978-3-319-49580-4_8
Performance evaluation of mobile users served by fixed and mobile femtocells in LTE networks
Raheem, R., Lasebae, A., Aiash, M. and Loo, J. 2016. Performance evaluation of mobile users served by fixed and mobile femtocells in LTE networks. Journal of Networking Technology. 7 (1), pp. 16-33.
Exploring seamless connectivity and proactive handover techniques in VANET systems
Mapp, G., Ghosh, A., Paranthaman, V., Iniovosa, V., Loo, J. and Vinel, A. 2016. Exploring seamless connectivity and proactive handover techniques in VANET systems. in: Intelligent Transportation Systems: Dependable Vehicular Communications for Improved Road Safety Switzerland Springer International Publishing.
Interference management for co-channel mobile femtocells technology in LTE networks
Raheem, R., Lasebae, A., Aiash, M. and Loo, J. 2016. Interference management for co-channel mobile femtocells technology in LTE networks. 2016 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 IEEE. pp. 80-87 https://doi.org/10.1109/IE.2016.21
Performance evaluation of wireless IEEE 802.11(b) used for ad-hoc networks in an e-learning classroom network
Ghosh, A., Lasebae, A. and Ever, E. 2009. Performance evaluation of wireless IEEE 802.11(b) used for ad-hoc networks in an e-learning classroom network. 3rd IT Student Conference for the Next Generation. University of East London, London, UK 21 - 22 Nov 2009
Exploring efficient seamless handover in VANET systems using network dwell time
Ghosh, A., Paranthaman, V., Mapp, G. and Gemikonakli, O. 2014. Exploring efficient seamless handover in VANET systems using network dwell time. EURASIP Journal on Wireless Communications and Networking. 2014. https://doi.org/10.1186/1687-1499-2014-227
Providing ubiquitous communication using handover techniques in VANET systems
Ghosh, A., Paranthaman, V., Mapp, G. and Gemikonakli, O. 2014. Providing ubiquitous communication using handover techniques in VANET systems. 2014 13th Annual Mediterranean Ad Hoc Networking Workshop (MED-HOC-NET). Piran, Slovenia 02 - 04 Jun 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 195-202 https://doi.org/10.1109/MedHocNet.2014.6849124
Providing ubiquitous communication using road-side units in VANET systems: unveiling the challenges
Ghosh, A., Vardhan, V., Mapp, G., Gemikonakli, O. and Loo, J. 2013. Providing ubiquitous communication using road-side units in VANET systems: unveiling the challenges. 13th International Conference on ITS Telecommunications (ITST) 2013. Finland, Tampere 05 - 07 Nov 2013 pp. 74-79 https://doi.org/10.1109/ITST.2013.6685524
A formally verified access control mechanism for information centric networks
Aiash, M. and Loo, J. 2015. A formally verified access control mechanism for information centric networks. The 12th International Conference on Security and Cryptography (SECRYPT 2015). Colmar, Alsace, France 20 - 22 Jul 2015 SciTePress. pp. 377-383 https://doi.org/10.5220/0005566303770383
U-sphere: strengthening scalable flat-name routing for decentralized networks
Kos, J., Aiash, M., Loo, J. and Trček, D. 2015. U-sphere: strengthening scalable flat-name routing for decentralized networks. Computer Networks. 89, pp. 14-31. https://doi.org/10.1016/j.comnet.2015.07.006
A secure authentication protocol for IP-based wireless sensor communications using the location/ID split protocol (LISP)
Raheem, A., Lasebae, A. and Loo, J. 2014. A secure authentication protocol for IP-based wireless sensor communications using the location/ID split protocol (LISP). 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). Beijing, China Institute of Electrical and Electronics Engineers (IEEE). pp. 840-845 https://doi.org/10.1109/TrustCom.2014.135
Supporting communications in the IOTs using the location/ID split protocol: a security analysis
Lasebae, A., Loo, J., Aiash, M. and Raheem, A. 2013. Supporting communications in the IOTs using the location/ID split protocol: a security analysis. Future Generation Communication Technology (FGCT) 4- date of conference in full: 12-14 Nov. 2013. London, UK 12 - 14 Nov 2013 pp. 1-5
System capacity Improvement by on request channel allocation in LTE cellular network
Lasebae, A., Rahman, S. and Rezvy, S. 2014. System capacity Improvement by on request channel allocation in LTE cellular network. The 15th IEEE International Conference on a World of Wireless, Mobile and Multimedia Networks. Sydney, Australia 16 - 19 Jun 2014
LOC algorithm: location-aware opportunistic forwarding by using node's approximate location
Khan, S., Loo, J., Lasebae, A., Azam, M., Adeel, M., Kausar, R. and Sardar, H. 2014. LOC algorithm: location-aware opportunistic forwarding by using node's approximate location. International Journal of Pervasive Computing and Communications, Vol. 10, Issue 4, 2014.. 10 (4), pp. 481-496. https://doi.org/10.1108/IJPCC-02-2014-0017
Instant channel allocation technique to improve system throughput in joint LTE network
Rezvy, S., Rahman, S., Lasebae, A. and Loo, J. 2014. Instant channel allocation technique to improve system throughput in joint LTE network. The 28th IEEE International Conference on Advanced Information Networking and Applications. Victoria, BC, Canada 03 - 16 May 2014 IEEE. pp. 900-904 https://doi.org/10.1109/WAINA.2014.198
System capacity improvement by on request channel allocation in LTE cellular network
Rezvy, S., Rahman, S., Lasebae, A. and Loo, J. 2014. System capacity improvement by on request channel allocation in LTE cellular network. 48th Annual Conference on Information Sciences and Systems (CISS-2014). Princeton, New Jersey, USA 19 - 21 Mar 2014 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/CISS.2014.6814105
On demand based frequency allocation to mitigate interference in femto-macro LTE cellular network
Rezvy, S., Rahman, S., Lasebae, A. and Loo, J. 2013. On demand based frequency allocation to mitigate interference in femto-macro LTE cellular network. Second International Conference on Future Generation Communication Technologies (FGCT- 2013). London, UK 12 - 14 Nov 2013 Institute of Electrical and Electronics Engineers (IEEE). pp. 213-218
Downlink femto-macro ICI cancellation by on request channel allocation in LTE network
Rezvy, S., Rahman, S., Lasebae, A. and Loo, J. 2014. Downlink femto-macro ICI cancellation by on request channel allocation in LTE network. 48th Annual Conference on Information Sciences and Systems (CISS-2014). Princeton University, New Jersey, USA 19 - 21 Mar 2014
Instant channel allocation technique to improve system throughput in joint LTE cellular network
Rezvy, S., Rahman, S., Lasebae, A. and Loo, J. 2014. Instant channel allocation technique to improve system throughput in joint LTE cellular network. Advanced Information Networking and Applications Workshops (WAINA 2014). Victoria, Canada 13 - 16 May 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 900-904 https://doi.org/10.1109/WAINA.2014.198
LOC algorithm: location-aware opportunistic forwarding by using node’s approximate location
Kashif Ashraf Khan, S., Loo, J., Lasebae, A., Awais Azam, M., Adeel, M., Kausar, R. and Sardar, H. 2014. LOC algorithm: location-aware opportunistic forwarding by using node’s approximate location. International Journal of Pervasive Computing and Communications. 10 (4), pp. 481-496. https://doi.org/10.1108/IJPCC-02-2014-0017
Will ToR achieve its goals in the "future internet"? : an empirical study of using ToR with cloud computing
Carnielli, A. and Aiash, M. 2015. Will ToR achieve its goals in the "future internet"? : an empirical study of using ToR with cloud computing. IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA-2015). Gwangju, Korea 24 - 27 Mar 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 135-140
Supporting communication in information centric networks using the location/ID split protocol and time released caching
Aiash, M., Mapp, G. and Kallash, M. 2015. Supporting communication in information centric networks using the location/ID split protocol and time released caching. 2015 International Conference on Cloud Computing (ICCC). Riyadh, Saudi Arabia 26 - 29 Apr 2015 Institute of Electrical and Electronics Engineers. pp. 233-238 https://doi.org/10.1109/CLOUDCOMP.2015.7149657
Introducing a hybrid infrastructure and information-centric approach for secure cloud computing
Aiash, M., Colson, R. and Kallash, M. 2015. Introducing a hybrid infrastructure and information-centric approach for secure cloud computing. IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA-2015). Gwangju, Korea 24 - 27 Mar 2015 Institute of Electrical and Electronics Engineers (IEEE). pp. 154-159 https://doi.org/10.1109/WAINA.2015.80
Exploring efficient seamless handover in VANET systems using network dwell time
Ghosh, A., Parathaman, V., Mapp, G., Gemikonakli, O. and Middlesex University 2014. Exploring efficient seamless handover in VANET systems using network dwell time. EURASIP Journal on Wireless Communications and Networking. 2014 (1), pp. 1-19. https://doi.org/10.1186/1687-1499-2014-227
Mobility management in LTE/mobile femtocell networks: outage probability and drop/block calls probability
Raheem, R., Lasebae, A. and Loo, J. 2015. Mobility management in LTE/mobile femtocell networks: outage probability and drop/block calls probability. 3rd International Conference on Emerging Research Paradigms in Business and Social Sciences (ERPBSS-2015). Dubai, United Arab Emirates 24 - 26 Nov 2015
Exploring energy consumption issues for multimedia streaming in LTE HetNet small cells
Trestian, R., Vien, Q., Shah, P. and Mapp, G. 2015. Exploring energy consumption issues for multimedia streaming in LTE HetNet small cells. 2015 IEEE 40th Conference on Local Computer Networks (LCN 2015). Clearwater Beach, Florida, USA 26 - 29 Oct 2015 IEEE. pp. 498-501 https://doi.org/10.1109/LCN.2015.7366362
A secure framework for communications in heterogeneous networks
Aiash, M., Mapp, G., Lasebae, A. and Loo, J. 2014. A secure framework for communications in heterogeneous networks. WAINA 2014 28th International Conference on Advanced Information Networking and Applications Workshops. Victoria, BC 13 - 16 May 2014 pp. 841-846
A formal analysis of authentication protocols for mobile devices in next generation networks
Aiash, M. 2015. A formal analysis of authentication protocols for mobile devices in next generation networks. Concurrency and Computation: Practice and Experience. 27 (12), pp. 2938-2953. https://doi.org/10.1002/cpe.3260
An integrated authentication and authorization approach for the network of information architecture
Aiash, M. and Loo, J. 2015. An integrated authentication and authorization approach for the network of information architecture. Journal of Network and Computer Applications. 50, pp. 73-79. https://doi.org/10.1016/j.jnca.2014.06.004
Challenges and solutions for secure information centric networks: a case study of the NetInf architecture
Loo, J. and Aiash, M. 2015. Challenges and solutions for secure information centric networks: a case study of the NetInf architecture. Journal of Network and Computer Applications. 50, pp. 64-72. https://doi.org/10.1016/j.jnca.2014.06.003
Secure live virtual machines migration: issues and solutions
Aiash, M., Mapp, G. and Gemikonakli, O. 2014. Secure live virtual machines migration: issues and solutions. IEEE AINA 2014. Victoria, BC, Canada 13 - 16 May 2014
Comparison between resource reservation protocol and next steps in signalling in mobile IP networks
Mirzamany, E., Lasebae, A. and Gemikonakli, O. 2014. Comparison between resource reservation protocol and next steps in signalling in mobile IP networks. IET Networks. https://doi.org/10.1049/iet-net.2013.0028
SLA based MT-routing for future internet
Mirzamany, E., Lasebae, A. and Gemikonakli, O. 2014. SLA based MT-routing for future internet. Wireless World Research Forum Meeting 32. Marrakech, Morocco 18 - 22 May 2014
An efficient traffic engineering based on multi-topology routing for future internet
Mirzamany, E., Lasebae, A. and Gemikonakli, O. 2014. An efficient traffic engineering based on multi-topology routing for future internet. Computer Networks. https://doi.org/10.1016/j.comnet.2014.05.008
Cloud-based service delivery architecture with service-populating and mobility-aware mechanisms
Sardis, F., Mapp, G. and Loo, J. 2013. Cloud-based service delivery architecture with service-populating and mobility-aware mechanisms. in: Rodrigues, J., Lin, K. and Lloret, J. (ed.) Mobile Networks And Cloud Computing Convergence for Progressive Services and Applications IGI Global. pp. 183-199
Performance evaluation of LTE network via using fixed/mobile femtocells
Raheem, R., Lasebae, A. and Loo, J. 2014. Performance evaluation of LTE network via using fixed/mobile femtocells. Advanced Information Networking and Applications Workshops (WAINA), 2014 28th International Conference. Victoria, BC, Canada 13 - 16 May 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 255-260 https://doi.org/10.1109/WAINA.2014.51
Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR
Aiash, M. and Loo, J. 2014. Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR. International Journal of Communication Systems. 27 (12), pp. 3600-3618. https://doi.org/10.1002/dac.2561
Exploring service and buffer management issues to provide integrated voice and data services in single and multi-channel wireless networks
Gemikonakli, E., Mapp, G., Gemikonakli, O. and Ever, E. 2013. Exploring service and buffer management issues to provide integrated voice and data services in single and multi-channel wireless networks. in: 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA) Association for computing machinery. pp. 1056-1063
Concern level assessment: building domain knowledge into a visual system to support network-security situation awareness
Kodagoda, N., Attfield, S., Choudhury, S., Rooney, C., Mapp, G., Nguyen, P., Slabbert, L., Wong, B., Aiash, M., Zheng, Y., Xu, K. and Lasebae, A. 2014. Concern level assessment: building domain knowledge into a visual system to support network-security situation awareness. Information Visualization. 13 (4), pp. 346-360. https://doi.org/10.1177/1473871613490291
Location privacy in mobile IPv6 distributed authentication protocol using mobile home agents
Georgiades, A., Luo, Y., Lasebae, A. and Comley, R. 2009. Location privacy in mobile IPv6 distributed authentication protocol using mobile home agents. Trilling, L., Perkins, D., Dionysios, D., Perlovsky, L., Davey, K., Landgrebe, D., Marino, M., Russell, D., Collicott, S., Ceccarelli, M. and Lund, J. (ed.) The 8th WSEAS International Conference on Electronics, Hardware, Wireless and Optical Communications (EHAC '09). Cambridge, UK 21 - 23 Feb 2009 WSEAS Press. pp. 51-56
Specification-based IDS for securing RPL from topology attacks
Le, A., Loo, J., Luo, Y. and Lasebae, A. 2011. Specification-based IDS for securing RPL from topology attacks. Wireless Days (WD), 2011 IFIP. https://doi.org/10.1109/WD.2011.6098218
Introducing mobile home agents into the distributed authentication protocol to achieve location privacy in mobile IPv6
Georgiades, A., Luo, Y., Lasebae, A. and Comley, R. 2008. Introducing mobile home agents into the distributed authentication protocol to achieve location privacy in mobile IPv6. International Journal of Communications. 2 (3), pp. 185-194.
Modelling mixed access-patterns in network-based systems
Thakker, D., Mapp, G. and Gemikonakli, O. 2009. Modelling mixed access-patterns in network-based systems. in: 11th International Conference on Computer Modelling and Simulation (UKSIM '09) IEEE. pp. 514-519
Integrating mobility, quality-of-service and security in future mobile networks
Aiash, M., Mapp, G., Lasebae, A., Phan, R. and Loo, J. 2013. Integrating mobility, quality-of-service and security in future mobile networks. in: Ao, S. and Gelman, L. (ed.) Electrical Engineering and Intelligent Systems New York Springer.
A novel security protocol for resolving addresses in the location/ID split architecture
Aiash, M. 2013. A novel security protocol for resolving addresses in the location/ID split architecture. The 7th International Conference on Network and System Security (NSS 2013). Spain 03 - 04 Jun 2013
Securing address registration in location/ID split protocol using ID-based cryptography
Aiash, M., Al-Nemrat, A. and Preston, D. 2013. Securing address registration in location/ID split protocol using ID-based cryptography. Tsaoussidis, V., Kassler, A., Koucheryavy, Y. and Mellouk, A. (ed.) In proceeding of: The 11th International Conference on Wired/Wireless Internet Communications WWIC 2013. Russia 05 - 07 Jun 2013 Springer. https://doi.org/10.1007/978-3-642-38401-1_10
Exploring service and buffer management issues to provide integrated voice and data services in single and multi channel wireless networks
Gemikonakli, E., Mapp, G., Gemikonakli, O. and Ever, E. 2013. Exploring service and buffer management issues to provide integrated voice and data services in single and multi channel wireless networks. The 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013). Barcelona, Spain 25 - 28 Mar 2013
Enhancing the modelling of vertical handover in integrated cellular/WLAN environments
Kirsal, Y., Ever, E., Mapp, G. and Gemikonakli, O. 2013. Enhancing the modelling of vertical handover in integrated cellular/WLAN environments. The 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013). Barcelona, Spain 25 - 28 Mar 2013
An efficient resource reservation for domain based mobile IP networks: analytical approach
Mirzamany, E., Lasebae, A. and Gemikonakli, O. 2013. An efficient resource reservation for domain based mobile IP networks: analytical approach. IEEE 77th Vehicular Technology Conference (VTC2013-Spring). Dresden, Germany 02 - 05 Jun 2013
An integrated approach to QoS and security in future mobile networks using the Y-Comm framework
Aiash, M. 2012. An integrated approach to QoS and security in future mobile networks using the Y-Comm framework. PhD thesis Middlesex University School of Engineering and Information Sciences
From fixed to mobile femtocells in LTE systems: issues and challenges
Raheem, R., Lasebae, A., Aiash, M. and Loo, J. 2013. From fixed to mobile femtocells in LTE systems: issues and challenges. 2013 Second International Conference on Future Generation Communication Technology (FGCT). London, United Kingdom 12 - 14 Nov 2013 Institute of Electrical and Electronics Engineers (IEEE). pp. 207-212 https://doi.org/10.1109/FGCT.2013.6767218
Efficient NSIS mobility support for mobile networks
Mirzamany, E., Lasebae, A. and Gemikonakli, O. 2013. Efficient NSIS mobility support for mobile networks. IEEE 24th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). London, UK 08 - 11 Sep 2013 IEEE. pp. 3354-3359 https://doi.org/10.1109/PIMRC.2013.6666727
On the investigation of cloud-based mobile media environments with service-populating and QoS-aware mechanisms
Sardis, F., Mapp, G., Loo, J., Aiash, M. and Vinel, A. 2013. On the investigation of cloud-based mobile media environments with service-populating and QoS-aware mechanisms. IEEE Transactions on Multimedia. 15 (4), pp. 769-777. https://doi.org/10.1109/TMM.2013.2240286
Using aggregated RSVP in nested HMIPv6
Mirzamany, E., Lasebae, A. and Gemikonakli, O. 2012. Using aggregated RSVP in nested HMIPv6. Wireless Communications and Mobile Computing Conference (IWCMC), 2012 8th International. IEEE. pp. 716 -721 https://doi.org/10.1109/IWCMC.2012.6314292
Exploiting location and contextual information to develop a comprehensive framework for proactive handover in heterogeneous environments
Mapp, G., Katsriku, F., Aiash, M., Chinnam, N., Lopes, R., Moreira, E., Vanni, R., Augusto, M., Middlesex University and University of Sao Paulo 2012. Exploiting location and contextual information to develop a comprehensive framework for proactive handover in heterogeneous environments. Journal of Computer Networks and Communications. https://doi.org/10.1155/2012/748163
Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol.
Kammueller, F., Mapp, G., Patel, S. and Sani, A. 2012. Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. International Conference on Internet Monitoring and Protection (ICIMP 2012). Stuttgart, Germany 27 May - 01 Jun 2012 Xpert Publishing Service.
A survey of potential architectures for communication in heterogeneous networks
Aiash, M., Mapp, G., Lasebae, A., Loo, J., Sardis, F., Phan, R., Augusto, M., Moreira, E. and Vanni, R. 2012. A survey of potential architectures for communication in heterogeneous networks. IEEE Wireless Telecommunications Symposium (WTS 2012). London 18 - 20 Apr 2012 IEEE. pp. 1-6 https://doi.org/10.1109/WTS.2012.6266121
Evaluation of wireless IEEE 802.11(b) used for ad-hoc networks in an e-learning classroom network
Ghosh, A., Lasebae, A. and Ever, E. 2009. Evaluation of wireless IEEE 802.11(b) used for ad-hoc networks in an e-learning classroom network. Kaspersky IT Security Conference for the Next Generation.
Critical review of analytical modelling approaches for performability evaluation of the handover phenomena in mobile communication systems
Kirsal, Y., Ever, E., Gemikonakli, O. and Mapp, G. 2011. Critical review of analytical modelling approaches for performability evaluation of the handover phenomena in mobile communication systems. IEEE International Conference on Computer and Information Technology (CIT 2011). pp. 132-137 https://doi.org/10.1109/CIT.2011.45
Modelling and performability analysis of WLANs as a queuing model with channel/access point failures and reconfiguration
Kirsal, Y., Ever, E., Gemikonakli, O. and Mapp, G. 2011. Modelling and performability analysis of WLANs as a queuing model with channel/access point failures and reconfiguration. EMS. Los Alamitos, CA IEEE Computer Society. pp. 440-445 https://doi.org/10.1109/EMS.2011.33
Security and QoS integration for protecting service providers in hterogeneous environments
Aiash, M., Mapp, G. and Lasebae, A. 2011. Security and QoS integration for protecting service providers in hterogeneous environments. International Journal of Computer Science. 38 (4), pp. 384-393.
6LoWPAN: a study on QoS security threats and countermeasures using intrusion detection system approach
Le, A., Loo, J., Lasebae, A., Aiash, M. and Luo, Y. 2012. 6LoWPAN: a study on QoS security threats and countermeasures using intrusion detection system approach. International Journal of Communication Systems. 25 (9), pp. 1189-1212. https://doi.org/10.1002/dac.2356
M-Sieve: a visualisation tool for supporting network security analysts
Choudhury, S., Kodagoda, N., Nguyen, P., Rooney, C., Attfield, S., Xu, K., Zheng, Y., Wong, B., Chen, R., Mapp, G., Slabbert, L., Aiash, M. and Lasebae, A. 2012. M-Sieve: a visualisation tool for supporting network security analysts. VisWeek 2012. Seattle, WA, USA 14 - 19 Oct 2012
A formally verified AKA protocol for vertical handover inheterogeneous environments using Casper/FDR
Aiash, M., Mapp, G., Lasebae, A., Phan, R. and Loo, J. 2012. A formally verified AKA protocol for vertical handover inheterogeneous environments using Casper/FDR. EURASIP Journal on Wireless Communications and Networking. 2012 (57). https://doi.org/10.1186/1687-1499-2012-57
Stream bundle management layer for optimum management of co-existing telemedicine traffic streams under varying channel conditions in heterogeneous networks.
Shaikh, F., Lasebae, A., Mapp, G. and Middlesex University 2005. Stream bundle management layer for optimum management of co-existing telemedicine traffic streams under varying channel conditions in heterogeneous networks. MIT 2005. China
Teleporting in an X Window System Environment
Richardson, T., Bennett, F., Mapp, G., Hopper, A., Olivetti Research Laboratory and University of Cambridge 1994. Teleporting in an X Window System Environment. IEEE Personal Communications. 1 (3), pp. 6-12. https://doi.org/10.1109/MPC.1994.311827
Proactive policy management for heterogeneous networks
Shaikh, F., Lasebae, A., Mapp, G. and Middlesex University 2008. Proactive policy management for heterogeneous networks. 3rd International Conference on Information and Communication Technologies: from Theory to Applications (ICTTA 2008). Umayyad Palace, Damascus, Syria 07 - 11 Apr 2008
Client-based SBM layer for predictive management of traffic flows in heterogeneous networks
Shaikh, F., Lasebae, A., Mapp, G. and Middlesex University 2006. Client-based SBM layer for predictive management of traffic flows in heterogeneous networks. 2nd IEEE International Conference on Information and Communication Technologies: from Theory to Applications (ICTTA 2006). Damascus, Syria 24 - 28 Apr 2006
Tripwire: a synchronization primitive for virtual memory mapped communication.
Riddoch, D., Pope, S., Roberts, D., Mapp, G., Clarke, D., Ingram, D., Mansley, K., Hopper, A., AT&T Laboratories Cambridge and Laboratory for Communications Engineering 2001. Tripwire: a synchronization primitive for virtual memory mapped communication. Journal for Interconnection Networks. 2 (3), pp. 345-364. https://doi.org/10.1142/S0219265901000439
Traffic modelling in WLANs and cellular networks.
Gemikonakli, E., Mapp, G., Gemikonakli, O., Ever, E. and Middlesex University 2011. Traffic modelling in WLANs and cellular networks. First Global Conference on Communication, Science and Information Engineering (CCSIE 2011). Middlesex University 25 - 27 Jul 2011
A survey of network coverage prediction mechanisms in 4G heterogeneous wireless networks.
Shaikh, F., Mapp, G., Lasebae, A., British Institute of Technology and e-Commerce and Middlesex University 2011. A survey of network coverage prediction mechanisms in 4G heterogeneous wireless networks. First Global Conference on Communication, Science and Information Engineering (CCSIE 2011). Middlesex University 25 - 27 Jul 2011
Exploring the concept of scope to provide better security for internet services.
Aiash, M., Mapp, G., Lasebae, A., Phan, R., Middlesex University and Loughborough University 2011. Exploring the concept of scope to provide better security for internet services. First Global Conference on Communication, Science and Engineering (CCSIE 2011). Middlesex University 25 - 27 Jul 2011
The development of a dynamic and robust event-based routing protocol in wireless sensor networks for environment monitoring.
Rantisi, M., Maquosi, A., Mapp, G., Gemikonakli, O., PSUT University, Petra University and Middlesex University 2011. The development of a dynamic and robust event-based routing protocol in wireless sensor networks for environment monitoring. First Global Conference on Communication, Science and Information Engineering (CCSIE 2011). Middlesex University 25 - 27 Jul 2011
Enhancing naming and location services to support multi-homed devices in heterogeneous environments
Aiash, M., Mapp, G., Lasebae, A., Phan, R., Augusto, M., Vanni, R., Moreira, E., Middlesex University, Loughborough University and University of Sao Paulo 2011. Enhancing naming and location services to support multi-homed devices in heterogeneous environments. First Conference on Communication, Science and Information Enginneering (CCSIE 2011). Middlesex University 25 - 27 Jul 2011
Link layer-based TCP optimisation for disconnecting networks.
Scott, J., Mapp, G., Intel Research Cambridge and Middlesex University 2003. Link layer-based TCP optimisation for disconnecting networks. Computer Communications Review. 33 (5).
Networked surfaces: a new concept in mobile networking
Scott, J., Hoffman, F., Addlesee, M., Mapp, G., Hopper, A., Laboratory for Communications Engineering, AT&T Laboratories Cambridge and Cambridge University Engineering Department 2002. Networked surfaces: a new concept in mobile networking. Mobile Networks and Applications. 7 (5), pp. 353-364. https://doi.org/10.1023/A:1016539632660
Virtual memory support for distributed computing environments using a shared data object model
Huang, F., Bacon, J., Mapp, G. and University of Cambridge 1995. Virtual memory support for distributed computing environments using a shared data object model. Distributed Systems Engineering. 2 (4), pp. 202-211. https://doi.org/10.1088/0967-1846/2/4/003
Proactive policy management using TBVH mechanism in heterogeneous networks.
Shaikh, F., Mapp, G., Lasebae, A. and Middlesex University 2007. Proactive policy management using TBVH mechanism in heterogeneous networks. Proceedings of the International Conference and Exhibition on 'Next Generation Mobile Application, Services and Technologies' (NGMAST 2007). Cardiff, Wales 12 - 14 Sep 2007
Balancing streaming and demand accesses in a network based storage environment.
Thakker, D., Mapp, G., Gemikonakli, O. and Middlesex University 2010. Balancing streaming and demand accesses in a network based storage environment. in: Sobh, T., Elleithy, K. and Mahmood, A. (ed.) Novel algorithms and techniques in telecommunications and networking. London, New York Springer. pp. 403-408
A QoS framework for heterogeneous networking
Aiash, M., Mapp, G., Lasebae, A., Augusto, M., Vanni, R. and Moreira, E. 2011. A QoS framework for heterogeneous networking. ICWN'11: The 2011 International Conference of Wireless Networks (held as part of WCE 2011). London, UK 06 - 08 Jul 2011
Impacts of buffering voice calls in integrated voice and data services
Gemikonakli, E., Gemikonakli, O., Ever, E., Mapp, G. and Institute of Electrical and Electronics Engineers 2011. Impacts of buffering voice calls in integrated voice and data services. Al-Dabass, D., Orsoni, A., Cant, R. and Abraham, A. (ed.) IEEE. pp. 507-512 https://doi.org/10.1109/UKSIM.2011.103
Exploring multi-homing issues in heterogeneous networks
Mapp, G., Aiash, M., Guardia, H., Crowcroft, J., Institute of Electrical and Electronics Engineers, Middlesex University, Federal University of Sao Paulo and University of Cambridge 2011. Exploring multi-homing issues in heterogeneous networks. IEEE. pp. 690-695 https://doi.org/10.1109/WAINA.2011.140
Y-Comm research [web page]
Mapp, G., Middlesex University, University of Cambridge, University of Sao Paulo and Loughborough University 2008. Y-Comm research [web page]. Middlesex University.
Exploring gate-limited analytical models for high-performance network storage servers
Mapp, G., Thakker, D., Gemikonakli, O. and Middlesex University 2011. Exploring gate-limited analytical models for high-performance network storage servers. Journal of Computer and System Sciences. 77 (5). https://doi.org/10.1016/j.jcss.2010.08.002
Towards an integrated network security framework using the Y-Comm architecture
Mapp, G., Crowcroft, J. and Phan, R. 2010. Towards an integrated network security framework using the Y-Comm architecture. in: Jahankhani, H., Watson, D., Me, G. and Leonhardt, F. (ed.) Handbook of electronic security and digital forensics Singapore World Scientific Publishing. pp. 169-183
Investigation of a mechatronic device for the remedial treatment of brain injured children.
Lasebae, A. 1999. Investigation of a mechatronic device for the remedial treatment of brain injured children. PhD thesis Middlesex University School of Engineering Systems
Providing security in 4G systems: unveiling the challenges
Aiash, M., Mapp, G., Lasebae, A., Phan, R., Middlesex University and Loughborough University 2010. Providing security in 4G systems: unveiling the challenges. Atmaca, T., Palicot, J., Amor, N., Tsiatsos, T., Marot, M. and Dini, O. (ed.) IEEE. pp. 439-444 https://doi.org/10.1109/AICT.2010.24
The design of a storage architecture for mobile heterogeneous devices.
Mapp, G., Thakker, D. and Silcott, D. 2007. The design of a storage architecture for mobile heterogeneous devices. IEEE Computer Society. https://doi.org/10.1109/ICNS.2007.113
An architectural framework for heterogeneous networking.
Mapp, G., Cottingham, D., Shaikh, F., Vidales, P., Patanapongpibul, L., Baliosian, J. and Crowcroft, J. 2006. An architectural framework for heterogeneous networking. Vasiu, L. (ed.) Portugal Institute of Systems and Technologies of Information, Control and Communication.
Y-Comm: a global architecture for heterogeneous networking.
Mapp, G., Shaikh, F., Crowcroft, J., Cottingham, D. and Baliosian, J. 2007. Y-Comm: a global architecture for heterogeneous networking. 3rd International Conference on Wireless Internet. Austin, Texas
An analytical approach for performance analysis of handoffs in the next generation integrated cellular networks and WLANs
Kirsal, Y., Gemikonakli, E., Ever, E., Mapp, G., Gemikonakli, O. and Middlesex University 2010. An analytical approach for performance analysis of handoffs in the next generation integrated cellular networks and WLANs. IEEE. https://doi.org/10.1109/ICCCN.2010.5560093
Information for handover management in heterogeneous networks: data representation,languages and integrated platforms
Vanni, R., Branco, K., Moreira, E., Mapp, G., University of Sao Paulo and Middlesex University 2010. Information for handover management in heterogeneous networks: data representation,languages and integrated platforms. 7th International Conference on Information and Technology Management. Sao Paulo, Brazil 19 - 21 May 2010
Exploring Markov models for gate-limited service and their application to network-based services.
Mapp, G. 2009. Exploring Markov models for gate-limited service and their application to network-based services. Eight Mathematics of Networks Meeting. Cambridge 18 Sep 2009
Exploring a new Markov chain model for multiqueue systems.
Mapp, G., Thakker, D. and Gemikonakli, O. 2010. Exploring a new Markov chain model for multiqueue systems. Al-Dabass, D., Orsoni, A., Cant, R. and Abraham, A. (ed.) IEEE Computer Society. pp. 592-597 https://doi.org/10.1109/UKSIM.2010.113
Exploiting contextual handover information for versatile services in NGN environments.
Moreira, E., Cottingham, D., Crowcroft, J., Hui, P., Mapp, G., Vanni, R. and Institute of Electrical and Electronics Engineers 2007. Exploiting contextual handover information for versatile services in NGN environments. in: Digital Information Management, 2007. ICDIM '07. 2nd International Conference. IEEE Computer Society. pp. 506-512
Security models for heterogeneous networking
Mapp, G., Aiash, M., Lasebae, A. and Phan, R. 2010. Security models for heterogeneous networking. Katsikas, S. (ed.) 4th International Conference on Security and Cryptography. Athens, Greece 26 - 28 Jul 2010 IEEE. pp. 1-4
Critical analysis of high speed wireless standards for transferring telementoring information
Shaikh, F., Lasebae, A. and Whitney, G. 2004. Critical analysis of high speed wireless standards for transferring telementoring information. in: ICTTA'04: 2004 International conference on information & communication technologies: from theory to applications. Institute of Electrical and Electronics Engineers: French section.
Dual identity return routability for the security of mobile IPv6 binding updates within the distributed authentication protocol.
Luo, Y., Lasebae, A., Comley, R. and Georgiades, A. 2006. Dual identity return routability for the security of mobile IPv6 binding updates within the distributed authentication protocol. in: WSEAS Conferences: Elounda, Agios Nikolaos, Crete, Greece, August 18-20, 2006 Athens WSEAS.
Distributed authentication protocol utilizing dual identity return routability for the security of binding updates within mobile IPv6.
Luo, Y., Lasebae, A., Comley, R. and Georgiades, A. 2006. Distributed authentication protocol utilizing dual identity return routability for the security of binding updates within mobile IPv6. WSEAS transactions on communications. 5 (10), pp. 1109-2742.
Distributed authentication protocol for the security of binding updates in mobile IPv6.
Luo, Y., Lasebae, A., Comley, R. and Georgiades, A. 2005. Distributed authentication protocol for the security of binding updates in mobile IPv6. in: Proceedings of the 9th WSEAS international CSCC multiconference: circuits 05, systems 05, computers 05, communications 05. WSEAS.
Binding update security for mobile IPv6 using a distributed authentication protocol.
Luo, Y., Lasebae, A., Comley, R. and Georgiades, A. 2005. Binding update security for mobile IPv6 using a distributed authentication protocol. WSEAS transactions on communications. 4 (9), pp. 1109-2742.
Trinity protocol for authentication of binding updates in mobile IPv6.
Luo, Y., Comley, R., Lasebae, A. and Georgiades, A. 2004. Trinity protocol for authentication of binding updates in mobile IPv6. WSEAS transactions on communications. 3 (3), pp. 872-877.
Modelling and performability analysis of network memory servers.
Gemikonakli, O., Mapp, G., Thakker, D., Ever, E. and Society for Modeling and Simulation International 2006. Modelling and performability analysis of network memory servers. in: 39th Annual Simulation Symposium: proceedings. California IEEE Computer Society. pp. 127-134
Modelling network memory servers with parallel processors, break-downs and repairs.
Gemikonakli, O., Mapp, G., Ever, E. and Thakker, D. 2007. Modelling network memory servers with parallel processors, break-downs and repairs. California IEEE Computer Society. pp. 11-20 https://doi.org/10.1109/ANSS.2007.29
Exploring efficient imperative handover mechanisms for heterogeneous wireless networks
Mapp, G., Shaikh, F., Aiash, M., Vanni, R., Augusto, M. and Moreira, E. 2009. Exploring efficient imperative handover mechanisms for heterogeneous wireless networks. Duresi, A., Barolli, L., Enokido, T., Uehara, M., Shakshuki, E. and Takizawa, M. (ed.) 12th International Conference on Network-Based Information Systems. Indianapolis, Indiana 19 - 21 Aug 2009 IEEE. pp. 286-291 https://doi.org/10.1109/NBiS.2009.95
A practical approach for 4G systems: deployment of overlay networks.
Mapp, G., Stajano, F., Crowcroft, J. and Vidales, P. 2005. A practical approach for 4G systems: deployment of overlay networks. in: First International Conference on Testbeds and Research Infrastructures for the DEvelopment of NeTworks and COMmunities, Tridentcom 2005, Trento, Italy. IEEE Computer Society Press. pp. 172-181
A client-based handoff mechanism for mobile IPv6 wireless networks.
Mapp, G. and Pantanapongpibul, L. 2003. A client-based handoff mechanism for mobile IPv6 wireless networks. in: 8th IEEE Symposium on Computers and Communications (ISCC), Antalya, Turkey. Proceedings IEEE Computer Society Press. pp. 563-568
Autonomic system for mobility support in 4G networks
Mapp, G., Baliosian, J., Serrat, J. and Vidales, P. 2005. Autonomic system for mobility support in 4G networks. IEEE Journal on Selected Areas in Communications. 23 (12), pp. 2288-2304. https://doi.org/10.1109/JSAC.2005.857198
An end-system approach to mobility management for 4G networks and its application to thin-client computing.
Mapp, G., Hopper, A. and Pantanapongpibul, L. 2006. An end-system approach to mobility management for 4G networks and its application to thin-client computing. Mobile Computing and Communications Review. 10 (3), pp. 13-33. https://doi.org/10.1145/1148094.1148097