ZKPVM: a zero-knowledge authentication protocol for VMs' live migration in mobile cloud computing

Edris, Ed Kamya Kiyemba and Aiash, Mahdi ORCID logoORCID: https://orcid.org/0000-0002-3984-6244 (2018) ZKPVM: a zero-knowledge authentication protocol for VMs' live migration in mobile cloud computing. Proceedings of the 13th International Conference on Software Technologies. In: ICSOFT 2018: 13th International Conference on Software Technologies, 26-28 Jul 2018, Porto, Portugal. . [Conference or Workshop Item]

[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only

Download (464kB)


Mobile cloud computing is a model in which mobile applications are built, powered and hosted using cloud computing technology. Mobile devices with their limited resources will be accessing a wide variety of these cloud-based services such as video/audio streaming and online gaming. In order to improve the performance of this model, cloud-based services need to become aware of the movement of the mobile devices and to be launched closer to the demand. Such a requirement becomes achievable through virtual machine live migration , a feature that is currently supported in all virtualization platforms. Virtual machine live migration is widely performed in the data centres of the Cloud, for the purposes of load balance, reliability, availability, hardware maintenance and system upgrade. It entails moving all the state information of the virtual machine being migrated, including memory state, network state and storage state, from one physical server to another within the same data center or across different data centers. The security aspect of live migration has not been fully addressed yet. Some proposals rely on trusted third-parties for generating and producing the security parameters. Others assume the presence of pre-shared security parameters between the source and destination cloud providers. The author argues that such assumptions might not always be feasible in open, large scale cloud environment. Therefore, this paper introduces ZKPVM, a new authentication and key agreement protocol for securing virtual machine migration. The protocol is based on zero-knowledge authentication; it requires no knowledge between the source and destination cloud providers prior to the migration and it also does not demand the presence of a third-party. ZKPVM is formally verified using AVISPA formal methods and it is proven to meet a number of desired security properties.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Special Session on Software Engineering for Service and Cloud Computing
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 30251
Useful Links:
Depositing User: Mahdi Aiash
Date Deposited: 26 May 2020 15:29
Last Modified: 24 Jun 2022 12:54
URI: https://eprints.mdx.ac.uk/id/eprint/30251

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.