Information Flow Analysis of Energy Management in a Smart Grid

Author

Ravi Akella
Bruce M. McMillin, Missouri University of Science and TechnologyFollow

Abstract

Information flow security within the context of multilevel security deals with ways to avoid unwanted information flow from a high level domain to a low level domain. Several confidentiality and information flow properties have been formalized in literature. However, applying them to Cyber-Physical Systems (CPSs) adds to the challenge of protecting confidentiality. This paper performs an information flow analysis of a future power CPS that has complex information flow and confidentiality requirements. Confidentiality properties such as non-deducibility are applied to the infrastructure considered. the proposed approach provides a unique direction for formalizing information flow properties for such systems with inherent complexity and security requirements. © 2010 Springer-Verlag Berlin Heidelberg.

Recommended Citation

R. Akella and B. M. McMillin, "Information Flow Analysis of Energy Management in a Smart Grid," Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6351 LNCS, pp. 263 - 276, Springer, Sep 2010.

The definitive version is available at https://doi.org/10.1007/978-3-642-15651-9_20

Department(s)

Computer Science

Keywords and Phrases

Bisimulation based Non-deducibility on Compositions; Confidentiality; Cyber-physical system; Information Flow; Non-inference; Security

International Standard Book Number (ISBN)

978-364215650-2

International Standard Serial Number (ISSN)

1611-3349; 0302-9743

Document Type

Article - Conference proceedings

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2024 Springer, All rights reserved.

Publication Date

20 Sep 2010