A behavior-aware SLA-based framework for guaranteeing the security conformance of cloud service

X Liu, C Xia, T Wang, L Zhong, X Li - Frontiers of Computer Science, 2020 - Springer
As cloud computing technology turning to mature, cloud services have become a trust-based
service. Users' distrust of the security and performance of cloud services will hinder the rapid …

Challenges in formal methods for testing and verification of cloud computing systems

A Gawanmeh, A Alomari - Scalable Computing: Practice and Experience, 2015 - scpe.org
Formal methods are necessary to capture the semantics and behavior of processes of
various systems. They characterize and provide insight into the behavior of real systems and …

Improving reliability in management of cloud computing infrastructure by formal methods

S Kikuchi, K Hiraishi - 2014 IEEE Network Operations and …, 2014 - ieeexplore.ieee.org
Recent studies identify misconfiguration as the most frequent cause for failures in
information systems including cloud computing infrastructure. Therefore, reducing operator …

CloudSec: A novel approach to verifying security conformance at the bottom of the cloud

X Liu, C Xia, T Wang, L Zhong - 2017 IEEE International …, 2017 - ieeexplore.ieee.org
In the process of big data analysis and processing, a key concern blocking users from
storing and processing their data in the cloud is their misgivings about the security and …

CRISP: Change Risk for IT Service Providers

A Ayachitula, U Sharma - … on Trust, Privacy and Security in …, 2023 - ieeexplore.ieee.org
Change is the leading culprit for availability and security risk incidents. It often leads to many
incidents that in turn increases the time to resolution (TTR) of the tickets/problems. Changes …

[PDF][PDF] Continual Verification of Non-Functional Properties in Cloud-Based Systems.

R Calinescu, K Johnson, Y Rafiq, S Gerasimou… - NiM-ALP …, 2013 - Citeseer
Cloud-based systems are used to deliver business-critical and safety-critical services in
domains ranging from e-commerce and e-government to finance and healthcare. Many of …

Performance evaluation of dynamic load balancing protocols based on formal models in cloud environments

R Ben Hamouda, S Boussema, I Ben Hafaiedh… - … and Evaluation of …, 2018 - Springer
Cloud computing has recently emerged as a new paradigm for hosting and delivering
services over the Internet. It is an attracting technology in the field of computer science since …

EAGER: Deployment-time API Governance for Modern PaaS Clouds

H Jayathilaka, C Krintz, R Wolski - 2015 IEEE International …, 2015 - ieeexplore.ieee.org
To track, control, and compel reuse of web APIs, we investigate a new approach to API
governance--combined policy, implementation, and deployment control of web APIs. Our …

Systolic array implementation of block based Hopfield neural network for pattern association

MJ Seow, H Ngo, V Asari - IEEE Computer Society Annual …, 2003 - ieeexplore.ieee.org
This paper suggests a systolic array implementation of block based Hopfield neural network
architecture using completely digital circuits. The design is based on rewriting the energy …

Adaptive Failure-Aware Scheduling for Hadoop

M Soualhia - 2018 - spectrum.library.concordia.ca
Given the dynamic nature of cloud environments, failures are the norm rather than the
exception in data centers powering cloud frameworks. Despite the diversity of integrated …