Formal reconfiguration model for cloud resources

Lahouij, Aida; Hamel, Lazhar; Graiet, Mohamed

doi:10.1007/s10270-022-00990-6

Cited by 3 publications

(1 citation statement)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The cloud model provides a convenient online learning and teaching environment for students and teachers by virtualizing computing resources and services [13][14]. Cloud platforms can store and manage a large amount of intelligent digital information, achieving resource sharing and reuse.…”

Section: Cloud Modelmentioning

confidence: 99%

Exploration on Classroom Teaching Quality of Intelligent Digital Information and Cloud Model

2023

curtm

View full text Add to dashboard Cite

In the era of information explosion, digital technology has penetrated into every aspect of people's lives. Intelligent digital information and cloud models, as emerging educational technologies, provide new possibilities for improving the quality of classroom teaching. The quality of classroom teaching is influenced by various factors. Among them, teachers' teaching methods, relevant information skills mastered, and school facilities and equipment can all have an impact on the quality of teaching. This article conducted in-depth research on the quality of classroom teaching and applied relevant methods of digital information and cloud models, enabling a deeper understanding of the detection and calculation of classroom teaching quality. This article mainly applied the survey method and AHP (Analytic Hierarchy Process) to analyze the factors that affect the quality of teaching and calculate the consistency of the factors. The data results showed that there was a significant difference between the consistency and random consistency values of teaching effectiveness, which were 0.0046 and 0.0079, respectively.

show abstract

Section: Cloud Modelmentioning

confidence: 99%

Exploration on Classroom Teaching Quality of Intelligent Digital Information and Cloud Model

2023

curtm

View full text Add to dashboard Cite

show abstract

MSCFS-RP: A Colored-Petri-Net-Based Analysis Model for Master–Slave Cloud File Systems with Replication Pipelining

Zhou

2024

Electronics

View full text Add to dashboard Cite

As a typical information system, a cloud file system enables the storage, retrieval, and management of data on remote servers or server clusters. The reliable design of such systems is critical to ensure the security of data and availability of services. However, designing correct-by-construction systems is challenging due to the complexity of and concurrency inherent in cloud file systems. Further, existing works on cloud file system analysis often focus on specific systems or lack formal modeling and verification, leading to potential design flaws and security vulnerabilities. To address these issues, we propose MSCFS-RP, which is a formal analysis model based on colored Petri nets. Leveraging the strengths of colored Petri nets in representing diverse information types with colored tokens and defining explicit rules for concurrent interactions, our model captures the writing and reading processes of clients, meta servers, and clusters. With strong formalism and support for verification using CPN Tools, we rigorously evaluate key properties such as replication consistency under various scenarios. The results demonstrate that MSCFS-RP satisfies these properties, validating its effectiveness and trustworthiness in managing information within cloud storage systems.

show abstract

Improving Cloud Security Using Distributed Ledger Technology

Patel,

Umesh,

Patel

2023

Privacy Preservation and Secured Data Storage in Cloud Computing

View full text Add to dashboard Cite

The confidentiality, integrity, and availability triad is a fundamental principle for information security. The objective of this chapter is to examine this triad where blockchain technology can be applied to enhance security in cloud computing. The current pasture of cloud security is explored to identify the gaps and approaches for using blockchain technology to reduce those gaps are discussed in this chapter. Blockchain technology is well-recognized for its ability to ensure data integrity. The largest gap that can be reduced is in this area. With the decentralized and distributed architecture of blockchain, there are ways to leverage it to improve the availability of cloud security. Confidentiality, where encryption plays a significant role, has the least gap in cloud computing; however, since the responsibility for assuring confidentiality is on the user, blockchain offers alternative and additional strengths. This chapter also covers a detailed discussion of avoiding prevalent security threats by implementing blockchain technology in cloud computing for making it more secure.

show abstract

Formal reconfiguration model for cloud resources

Cited by 3 publications

References 36 publications

Exploration on Classroom Teaching Quality of Intelligent Digital Information and Cloud Model

Exploration on Classroom Teaching Quality of Intelligent Digital Information and Cloud Model

MSCFS-RP: A Colored-Petri-Net-Based Analysis Model for Master–Slave Cloud File Systems with Replication Pipelining

Improving Cloud Security Using Distributed Ledger Technology

Contact Info

Product

Resources

About