• Home
  • Search
  • RETRACTED: Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems
  • Cite Icon7
  • https://doi.org/10.1111/coin.12421Copy DOI Icon

RETRACTED: Modeling and verifying a resource allocation algorithm for secure service migration for commercial cloud systems

Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Abstract Cloud computing is the delivery of on‐demand computing resources. It shares the resources or provides vir‐utilization that enables single user to access various Cloud services such as CPU, memory, storage devices, network, and so on. However, more commercial cloud services offered by several cloud service providers (CSPs) are available in the market place. Most CSPs must, therefore, deal with the dynamic resource allocation where the mobile services are migrating from one cloud to another cloud environment to provide heterogeneous resources based on user needs. There is still a lack of heuristics that are able to check requested resources and available resources to allocate and deallocate before it begins the secure service migration. We proposed a resource allocation security protocol that allows resources to be allocated and migrated efficiently in a secure service migration between cloud infrastructures. Furthermore, formal methods can be used for protocols to verify the desired properties, detecting attacks and producing accurate outcomes. This article presents formal modeling and verification of this abstract protocol using ProVerif cryptographic tool to validate the security properties such as secrecy of resources, authentication from both parties and key exchange in order to securely migrate resources in commercial cloud environments.

Similar Papers
  • Research Article
  • Citations3

SLA-driven dynamic capacity forecasting and resource allocation with risk analysis on clouds

  • Jan 01, 2013
  • International Journal of Communication Networks and Distributed Systems
  • G.M Siddesh +1
  • Book Chapter
  • Citations2

Role of Service Brokers in Cloud Computing

  • Jan 01, 2013
  • Dolly Kandpal
  • Research Article
  • Citations25

An effective HPSO-MGA optimization algorithm for dynamic resource allocation in cloud environment

  • May 05, 2020
  • Cluster Computing
  • Vadivel Ramasamy +1
  • Conference Article

A Crowd Sourcing Service Model for Optimizing User-Desired Storage Resource Scheduling

  • Aug 01, 2015
  • Huigui Rong +3
  • Research Article

TRUST BASED SECURITY MODEL FOR CLOUD SYSTEMS IN AN ORGANIZATION

  • Sep 30, 2021
  • Journal of Information Systems and Digital Technologies
  • MOHAMMAD SAALEM RAHMANI +2
  • Research Article
  • Citations18

A Resource Allocation Model Based on Trust Evaluation in Multi-Cloud Environments

  • Jan 01, 2021
  • IEEE Access
  • A B M Bodrul Alam +2
  • Research Article
  • Citations7

An Efficient Framework for a Third Party Auditor in Cloud Computing Environments

  • May 13, 2019
  • The Computer Journal
  • S Mahdavi-Hezavehi +2
  • Single Book
  • Citations2

Assessing Technology Platforms for Global Health Engagement to Support Integration of Efforts Across Geographic Combatant Commands

  • Jan 01, 2023
  • Jefferson P Marquis +4
  • Conference Article
  • Citations1

Fuzzy clustering algorithm intended for mining software services on the cloud

  • Dec 01, 2017
  • Dhanamma Jagli +2
  • PDF
  • Research Article
  • Citations25

Adaptive and Convex Optimization-Inspired Workflow Scheduling for Cloud Environment

  • Jun 21, 2023
  • International Journal of Cloud Applications and Computing
  • Kamlesh Lakhwani +6
  • Conference Article

A Framework of Cloud Service Broker System for Managing and Integrating Multiple Cloud Services

  • Dec 19, 2014
  • Advanced science and technology letters
  • Hangoo Jeon
  • Conference Article
  • Citations5

Cloud Security: From Per-Provider to Per-Service Security SLAs

  • Sep 01, 2016
  • Alessandra De Benedictis +3
  • Book Chapter

Data protection and mobility management for cloud

  • Sep 01, 2017
  • Dat Dang +2
  • Book Chapter

Cloud Service Pricing Strategy Based on Service Level Agreement with Default Compensation

  • Jan 01, 2020
  • Xing Wan +2
  • Research Article
  • Citations3

Data Portability: Key to Cloud Portability and Interoperability

  • Nov 21, 2010
  • SSRN Electronic Journal
  • Shahab Ahmed
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.