Distributed MILS Architectural Approach for Secure Smart Grids

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.

[1]  William H. Sanders,et al.  Smart grid protocol testing through cyber-physical testbeds , 2013, 2013 IEEE PES Innovative Smart Grid Technologies Conference (ISGT).

[2]  Bernd Finkbeiner,et al.  Temporal Logics for Hyperproperties , 2013, POST.

[3]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[4]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[5]  Michael R. Clarkson,et al.  Hyperproperties , 2008, 2008 21st IEEE Computer Security Foundations Symposium.

[6]  Mark Ryan,et al.  Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity , 2012, POST.

[7]  Ron van der Meyden.  What, indeed, is intransitive noninterference? , 2015, J. Comput. Secur..

[8]  Stephen Chong,et al.  Using Architecture to Reason about Information Security , 2014, TSEC.

[9]  Musard Balliu,et al.  A Logic for Information Flow Analysis of Distributed Programs , 2013, NordSec.

[10]  John Rushby,et al.  Noninterference, Transitivity, and Channel-Control Security Policies 1 , 2005 .

[11]  Rushby John,et al.  Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , 1999 .

[12]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[13]  W. Vanfleet,et al.  I Where We Have Been Where We Are Going Mils:architecture for High-assurance Embedded Computing , 2022 .

[14]  Denis Bytschkow,et al.  Providing security to a smart grid prosumer system based on a service oriented architecture in an office environment , 2013, 2013 IEEE PES Innovative Smart Grid Technologies Conference (ISGT).

[15]  J. Rushby,et al.  The MILS component integration approach to secure information sharing , 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.

[16]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[17]  Jim Alves-Foss,et al.  The MILS architecture for high-assurance embedded systems , 2006, Int. J. Embed. Syst..

[18]  Joachim Biskup,et al.  Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings , 2007, ESORICS.

[19]  Georgeta Igna,et al.  Security policies for distributed systems , 2013, ArXiv.

[20]  Bernhard Schätz,et al.  Establishing a smart grid node architecture and demonstrator in an office environment using the SOA approach , 2012, 2012 First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids).