Security in a cyber-physical system (CPS) is not well understood. Interactions between components in the cyber and physical domains lead to unintended information flow. This paper makes use of formal information flow models to describe leakage in a model CPS, the Cooperating FACTS Power System. Results show that while a casual observer cannot ascertain confidential internal information, when application semantics, including timing, are considered, this confidentiality is lost. Model checking is used to verify the result. The significance of the paper is in showing an example of the complex interactions that occur between the Cyber and Physical domains and their impact on security.
H. Tang and B. M. McMillin, "Security Property Violation in CPS Through Timing," Proceedings of the 28th International Conference on Distributed Computing Systems Workshops, 2008, Institute of Electrical and Electronics Engineers (IEEE), Jul 2008.
The definitive version is available at http://dx.doi.org/10.1109/ICDCS.Workshops.2008.79
28th International Conference on Distributed Computing Systems Workshops, 2008
Keywords and Phrases
Flexible AC Transmission Systems; Power Engineering Computing; Security of Data
Article - Conference proceedings
© 2008 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.