Formalization and analysis of a resource allocation security protocol for secure service migration

Karthick, Gayathri, Mapp, Glenford E. ORCID logoORCID:, Kammueller, Florian ORCID logoORCID: and Aiash, Mahdi ORCID logoORCID: (2018) Formalization and analysis of a resource allocation security protocol for secure service migration. 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion (UCC Companion), Zurich, 2018. In: IEEE/ACM International Conference on Utility and Cloud Computing (UCC2018), 17-20 Dec 2018, Zurich, Switzerland. ISBN 9781728103594. [Conference or Workshop Item] (doi:10.1109/UCC-Companion.2018.00058)

PDF - Final accepted version (with author's formatting)
Download (541kB) | Preview


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: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 26595
Notes on copyright: © 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Useful Links:
Depositing User: Gayathri Karthick
Date Deposited: 14 May 2019 15:07
Last Modified: 29 Nov 2022 19:24

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.