A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability | IGI Global Scientific Publishing
Welcome to the InfoSci Platform
Reference Hub5
A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability

A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability

Zakaria Benzadri, Ayoub Bouheroum, Faiza Belala
Copyright: © 2021 |Volume: 11 |Issue: 2 |Pages: 24
ISSN: 1947-9344|EISSN: 1947-9352|EISBN13: 9781799861171|DOI: 10.4018/IJOCI.2021040103
Cite Article Cite Article

MLA

Benzadri, Zakaria, et al. "A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability." IJOCI vol.11, no.2 2021: pp.51-74. https://doi.org/10.4018/IJOCI.2021040103

APA

Benzadri, Z., Bouheroum, A., & Belala, F. (2021). A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability. International Journal of Organizational and Collective Intelligence (IJOCI), 11(2), 51-74. https://doi.org/10.4018/IJOCI.2021040103

Chicago

Benzadri, Zakaria, Ayoub Bouheroum, and Faiza Belala. "A Formal Framework for Secure Fog Architectures: Application to Guarantee Reliability and Availability," International Journal of Organizational and Collective Intelligence (IJOCI) 11, no.2: 51-74. https://doi.org/10.4018/IJOCI.2021040103

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Despite the importance of fog computing, few works using formal techniques have been interested in the modelling and verification of fog architectures to ensure their security. The present work fits into this context and proposes a generic formal model (CA-BRS), extending the BRS with control agents. This offers the possibility to specify a fog architecture consisting of a set of secure fog nodes that act both as filters to reduce the amount of data sent to the cloud and as processing units close to the data collected. This formal setting makes possible the description of the multi-layers' collaboration requirements (IoT, fog, and cloud) and the analysis of certain security requirements with regard to identity management and resource access management. The execution of CA-BRS model through the framework supporting tool: “Maude-based Tool for CA-BRS” allows the formal analysis of the reliability and availability properties of an illustrative fog system example which is an oil/gas refinery plant.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global Scientific Publishing bookstore.