Formal Analyze of a Private Access Control Protocol to a Cloud Storage

Berrima, Mouhebeddine; Lafourcade, Pascal; Giraud, Matthieu; Rajeb, Narjes Ben

doi:10.5220/0006461604950500

Cited by 4 publications

(3 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…-Security properties: They often aim to guarantee data's confidentiality and users' privacy for Cloud and Fog systems [Zeng, 2016] [Berrima, 2017] [Zahra, 2017] [Puthal, 2018] [Ouchani, 2018] [Bouheroum, 2019.…”

Section: Formal Verification Approachesmentioning

confidence: 99%

“…Model checking Theorem proving [Du, 2017] [Kumari, 2017] [Huang, 2016] [Shah-Mansouri, 2018] [Mohamed, 2015] [Jung, 2015] [BenHalima, 2016] [Zeng, 2016] [Berrima, 2017] [Keshanchi, 2017] [BenHalima, 2018] [Puthal, 2018] [Zahra, 2017] [Kochovski, 2019] [Toor, 2019] [Cheikhrouhou, 2019] [Etchevers, 2017] [Sahli, 2017] [Ouchani, 2018] [Khebbeb, 2020a] [Moudjari, 2018] [Khebbeb, 2018] [Bouanaka, 2018] [Kochovski, 2019] [Zitouni, 2019] [Bouanaka, 2019] [Latreche, 2019] [Bouheroum, 2019] [Khebbeb, 2020a] [Khebbeb, 2020b] [Fakhfakh, 2018] [Lahouij, 2018] [Boubaker, 2016 Table 1: Taxonomy of the formal verification approaches -Mobility properties: They aim at providing and keeping resources close to where the data is generated [Khebbeb, 2020b].…”

Section: Formal Verification Approaches Handwrittenmentioning

confidence: 99%

See 1 more Smart Citation

Formal Verification of Cloud and Fog Systems:A Review and Research Challenges

Fakhfakh¹,

Kallel²,

Cheikhrouhou³

2021

jucs

View full text Add to dashboard Cite

Cloud and Fog computing have been widely recognized as attractive solutions in both academic and industrial sectors. Despite their benefits, the adoption of Cloud and Fog computing still have considerable challenges to be handled due to the increase of client requirements. A crucial issue, in this context, is how to verify the correctness of Cloud and Fog systems. The use of formal methods is an efficient mean which provides a real help for the designer to evaluate the behaviour of a system and prevent errors before its implementation. In this paper, we present a systematic literature review (SLR) on the current state of the art in this field. We collect the existing studies on the use of formal methods for proving the correctness of Cloud and Fog systems. The proposed approaches are compared based on some technical properties such as the verification methods, the verification tools, the considered properties, and the application domains. In addition, future directions which need more investigations are presented. We believe that our paper will be useful for industry and academic researchers to understand the existing contributions that deal with the cor- rectness of Cloud and Fog systems. Moreover, it helps them to address several gaps in the literature.

show abstract

Section: Formal Verification Approachesmentioning

confidence: 99%

Section: Formal Verification Approaches Handwrittenmentioning

confidence: 99%

Formal Verification of Cloud and Fog Systems:A Review and Research Challenges

Fakhfakh¹,

Kallel²,

Cheikhrouhou³

2021

jucs

View full text Add to dashboard Cite

show abstract

“…A preliminary version of this paper appeared in (Berrima et al, 2017). Outline: In Section 2, we give a description of SSH protocol, ABS and ABE schemes and RSN'12 protocol.…”

Section: Introductionmentioning

confidence: 99%

Formal analysis of a private access control protocol to a cloud storage

Berrima

Lafourcade

Giraud

et al. 2018

IJICA

Self Cite

View full text Add to dashboard Cite

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract