Abstract
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.
Recommended Citation
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 https://doi.org/10.1109/ICDCS.Workshops.2008.79
Meeting Name
28th International Conference on Distributed Computing Systems Workshops, 2008
Department(s)
Computer Science
Keywords and Phrases
Flexible AC Transmission Systems; Power Engineering Computing; Security of Data
Document Type
Article - Conference proceedings
Document Version
Final Version
File Type
text
Language(s)
English
Rights
© 2008 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
01 Jul 2008
