{"title":"基于图形的雾安全形式化方法研究——以油气精炼厂为例","authors":"Ayoub Bouheroum, Zakaria Benzadri, F. Belala","doi":"10.1109/FiCloud.2019.00017","DOIUrl":null,"url":null,"abstract":"Fog has the advantage of reducing service latency and improving perceived quality, as well as the benefit of total data distribution. However, its security or privacy issues pose major challenges due to the heterogeneity, hierarchical structure, and very large scale infrastructure of Fog architecture. CA-BRS model, an extension of Bigraphical Reactive Systems with Control Agents, is showed to be an appropriate formal semantic framework for Fog architecture specification. It separates, for a complex system, the concerns of computation and physical entities distribution, respectively into two different models: 1) computational or virtual agents' model and 2) physical Bigraph model. The main objective of this paper is twofold; first, we propose a multi-views architecture to Fog computing taking into account security level, then we define, according to this semantic framework, the physical entities of Fog architecture and their geographical dispersion, as well as the virtual entities devoted to represent security functionalities. Our proposal is illustrated through a realistic case study of Oil and Gas Refinery Plant.","PeriodicalId":268882,"journal":{"name":"2019 7th International Conference on Future Internet of Things and Cloud (FiCloud)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant\",\"authors\":\"Ayoub Bouheroum, Zakaria Benzadri, F. Belala\",\"doi\":\"10.1109/FiCloud.2019.00017\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Fog has the advantage of reducing service latency and improving perceived quality, as well as the benefit of total data distribution. However, its security or privacy issues pose major challenges due to the heterogeneity, hierarchical structure, and very large scale infrastructure of Fog architecture. CA-BRS model, an extension of Bigraphical Reactive Systems with Control Agents, is showed to be an appropriate formal semantic framework for Fog architecture specification. It separates, for a complex system, the concerns of computation and physical entities distribution, respectively into two different models: 1) computational or virtual agents' model and 2) physical Bigraph model. The main objective of this paper is twofold; first, we propose a multi-views architecture to Fog computing taking into account security level, then we define, according to this semantic framework, the physical entities of Fog architecture and their geographical dispersion, as well as the virtual entities devoted to represent security functionalities. Our proposal is illustrated through a realistic case study of Oil and Gas Refinery Plant.\",\"PeriodicalId\":268882,\"journal\":{\"name\":\"2019 7th International Conference on Future Internet of Things and Cloud (FiCloud)\",\"volume\":\"23 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2019 7th International Conference on Future Internet of Things and Cloud (FiCloud)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FiCloud.2019.00017\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 7th International Conference on Future Internet of Things and Cloud (FiCloud)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FiCloud.2019.00017","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant
Fog has the advantage of reducing service latency and improving perceived quality, as well as the benefit of total data distribution. However, its security or privacy issues pose major challenges due to the heterogeneity, hierarchical structure, and very large scale infrastructure of Fog architecture. CA-BRS model, an extension of Bigraphical Reactive Systems with Control Agents, is showed to be an appropriate formal semantic framework for Fog architecture specification. It separates, for a complex system, the concerns of computation and physical entities distribution, respectively into two different models: 1) computational or virtual agents' model and 2) physical Bigraph model. The main objective of this paper is twofold; first, we propose a multi-views architecture to Fog computing taking into account security level, then we define, according to this semantic framework, the physical entities of Fog architecture and their geographical dispersion, as well as the virtual entities devoted to represent security functionalities. Our proposal is illustrated through a realistic case study of Oil and Gas Refinery Plant.