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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
McLean, J.: Security models and information flow. In: Procs. of the 1990. IEEE Computer Society Press, Los Alamitos (1990)
Focardi, R., Gorrieri, R.: A classification of security properties for process algebras. Computer Security 3(1), 5–33 (1994/1995)
Smart Distribution System Design: Automatic Reconfiguration for Improved Reliability. In: IEEE General Meeting, Minneapolis, MN (2010)
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-7937
IEEE: IEEE P1547.4 Draft Guide for Design, Operation, and Integration of Distributed Resource Island Systems with Electric Power Systems
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)
Nikkhajoei, H., Lasseter, R.H.: Microgrid protection. In: Proc. IEEE Power Engineering Society General Meeting, pp. 1–6 (2007)
McDaniel, P., McLaughlin, S.: Security and privacy challenges in the smart grid. IEEE Security Privacy 7(3), 75–77 (2009)
Chronicles, M.R.: What will talking power meters say about you (2009), http://redtape.msnbc.com/2009/10/would-you-sign-up-for-a-discount-with-your-power-company-in-exchange-for-surrendering-control-of-your-thermostat-what-if-it.html (accessed March 19, 2010)
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)
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)
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)
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), http://filpower.mst.edu/documents/Akella-FreedmAC10.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Akella, R., McMillin, B.M. (2010). Information Flow Analysis of Energy Management in a Smart Grid. In: Schoitsch, E. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2010. Lecture Notes in Computer Science, vol 6351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15651-9_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-15651-9_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15650-2
Online ISBN: 978-3-642-15651-9
eBook Packages: Computer ScienceComputer Science (R0)