A Formal Composition of a Distributed System Formal Composition of a Distributed System Formal Composition of a Distributed System Formal Composition of a Distributed System
Wadie Krombi, Mohamed Mustapha Kabbaj, Mohammed Erradi, Mohammed V-Souissi · 2014
Nowadays, information systems are becoming a vital and st rategic component of any organization. However, in most cases, these systems are designed and implemented without taking into consideration aspects. To ensure a certain level of security, the behavior of a system must be controlled by a security The objective of this work is: Given a system S and a policy P how can we generate a system Sp which is a secure version of S? Based on the fact that a policy is a set of rules, we propose an approach to build an automaton modeling a policy. Then we propose an approach for modeling a system with the same formalism. Finally, we suggest a composition model of a system with a policy. The suggested approach is illustrated using a firewall policy and a distributed system consisting of network elements (servers, workstations …).