Karthick, Gayathri ORCID: https://orcid.org/0000-0003-1228-7099, Mapp, Glenford, Kammueller, Florian and Aiash, Mahdi (2018) Formalization and Analysis of a Resource Allocation Security Protocol for Secure Service Migration. In: 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion). IEEE

Preview

Text Formalization and analysis of a Resource Allocation Security Protocol for Secure Service Migration_Gayathri Karthick.pdf - Published Version Download (541kB) | Preview

Abstract

The advent of virtual machine technology for example, VMware, and container technology, such as Docker, have made the migration of services between different Cloud Systems possible. This enables the development of mobile services that can ensure low latencies between servers and their mobile clients resulting in better QOS. Though there are many mechanisms in place to support for mobile services, a key component that is missing is the development of security protocols that allow the safe transfer of servers to different Cloud environments. In this paper, we propose a Resource Allocation Security Protocol for secure service migration. We explore two approaches; In the first approach, the protocol is developed and formally verified by Automated Validation of Internet Security Protocols and Applications tool. The protocol satisfies the security properties of secrecy and authentication. In addition, nonces are used for replay protection and to ensure freshness. In the second approach, a secure symmetrical session key is used to do the safe transfer and an automatic cryptographic protocol verifier ProVerif is employed to verify secrecy, authentication and key exchange.

Item Type:	Book Section
Status:	Published
DOI:	https://doi.org/10.1109/ucc-companion.2018.00058
School/Department:	School of Science, Technology and Health
URI:	https://ray.yorksj.ac.uk/id/eprint/9345

University Staff: Request a correction | RaY Editors: Update this record