An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services-Reference-Cited by-同舟云学术

An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services

Published:2022-04-25 Issue: Volume: Page:
ISSN:
Container-title:NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium
language:
Short-container-title:

Author:

Oulaaffart Mohamed¹,Badonnel Remi¹,Bianco Christophe¹

Affiliation:

1. University of Lorraine,RESIST Research Team LORIA / INRIA Nancy Grand Est,Villers-les-Nancy,France,54600

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9789703/9789704/09789768.pdf?arnumber=9789768

Reference25 articles.

1. Virtual Machine Migration Based Load Balancing for Resource Management and Scalability in Cloud Environment;shahapure;International Journal of Information Technology,2018

2. A TOSCA-Oriented Software-Defined Security Approach for Unikernel-Based Protected Clouds

3. A SAT-based autonomous strategy for security vulnerability management

4. Security Certification of Composite Services: A Test-Based Approach

5. A Semi-Automatic and Trustworthy Scheme for Continuous Cloud Service Certification;anisetti;IEEE Transactions on Services Computing,2017

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. C3S-TTP: A Trusted Third Party for Configuration Security in TOSCA-Based Cloud Services;Journal of Network and Systems Management;2024-01

2. Analyzing Component Composability of Cloud Security Configurations;IEEE Access;2023

3. CMSec: A Vulnerability Prevention Tool for Supporting Migrations in Cloud Composite Services;2022 IEEE 11th International Conference on Cloud Networking (CloudNet);2022-11-07