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

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

[img]
Preview
PDF - Final accepted version (with author's formatting)
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: 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: 05 Jun 2019 16:33
ISBN: 9781728103594
URI: https://eprints.mdx.ac.uk/id/eprint/26595

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year