Information Flow Analysis of Energy Management in a Smart Grid

  • Ravi Akella
  • Bruce M. McMillin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6351)


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.


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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    McLean, J.: Security models and information flow. In: Procs. of the 1990. IEEE Computer Society Press, Los Alamitos (1990)Google Scholar
  2. 2.
    Focardi, R., Gorrieri, R.: A classification of security properties for process algebras. Computer Security 3(1), 5–33 (1994/1995)Google Scholar
  3. 3.
    Smart Distribution System Design: Automatic Reconfiguration for Improved Reliability. In: IEEE General Meeting, Minneapolis, MN (2010)Google Scholar
  4. 4.
    Phillips, L.: Hamilton Link, R.S., Welland, L.: Agent-based control of distributed infrastructure resources. Technical report, Sandia National Laboratories, Albuquerque, New Mexico (2006), SAND2005-7937Google Scholar
  5. 5.
    IEEE: IEEE P1547.4 Draft Guide for Design, Operation, and Integration of Distributed Resource Island Systems with Electric Power SystemsGoogle Scholar
  6. 6.
    Lehtonen, M., et al.: Distribution energy management in the environment of de-regulated electricity market. In: Proc. Energy Management and Power Delivery, vol. 2, pp. 516–521 (1995)Google Scholar
  7. 7.
    Nikkhajoei, H., Lasseter, R.H.: Microgrid protection. In: Proc. IEEE Power Engineering Society General Meeting, pp. 1–6 (2007)Google Scholar
  8. 8.
    McDaniel, P., McLaughlin, S.: Security and privacy challenges in the smart grid. IEEE Security Privacy 7(3), 75–77 (2009)CrossRefGoogle Scholar
  9. 9.
  10. 10.
    Huang, A.: Renewable energy system research and education at the NSF FREEDM systems center. In: Power & Energy Society General Meeting, PES 2009, pp. 1–6. IEEE, Los Alamitos (2009)Google Scholar
  11. 11.
    Ni, L.M., Xu, C.W., Gendreau, T.B.: A distributed drafting algorithm for load balancing. IEEE Trans. Softw. Eng. 11(10), 1153–1161 (1985)CrossRefGoogle Scholar
  12. 12.
    Akella, R., McMillin, B.M.: Model-Checking BNDC Properties in Cyber-Physical Systems. In: Annual International Computer Software and Applications Conference, vol. 1, pp. 660–663 (2009)Google Scholar
  13. 13.
    Akella, R., Meng, F., Ditch, D., McMillin, B., Crow, M.: Distributed Power Balancing for FREEDM system. Technical report, Missouri University of Science and Technology, Rolla, MO, USA (2010),

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Ravi Akella
    • 1
  • Bruce M. McMillin
    • 1
  1. 1.Department of Computer ScienceMissouri University of Science and TechnologyRolla, MissouriUnited States

Personalised recommendations