Distributed MILS architectural approach for secure smart grids

Denis Bytschkow, Jean Quilbeuf, Georgeta Igna und Harald Rueß

Smart Grid Security, pp. 16–29

August 2014 · DOI: 10.1007/978-3-319-10329-7_2


Successful decentralized and prosumer-based smart grids need to be at least as dependable and secure as the prevailing one-way, generation-transmission-distribution-consumer power grids. With this motivation in mind, we propose a two-phase model-based design methodology for secure architectural design and secure deployment of such a security architecture on a distributed separation kernel. In particular, we are modeling essential parts of a smart micro grid with several interacting prosumers, and demonstrate exemplary security/privacy requirements of this smart grid. The security policy architecture of this smart grid is deployed on a secure distributed platform, relying on a combination of separation kernels and deterministic network, as developed in the Distributed MILS project.

Stichworte: Smart grid security, Distributed MILS, Separation kernel, Formal verification, Security policy architecture, Configuration compiler, Model-based Systems Engineering, MbSE