Abstract
The work in this paper presents recent advances in developing a theory of information flow security specifically geared towards preserving the event confidentiality in Cyber-Physical Systems (CPSs). Preserving the confidentiality of sensitive internal actions is a unique challenge in CPSs due to the inherent external observability of such systems and the tight coupling between their cyber and physical domains. the far-reaching objective of this work is to develop a science of self-obfuscating systems based on the composition of simple building blocks. a model of Nondeducibility composes the building blocks under information flow security properties. to this end, this work presents fundamental theories on external observability for basic regular networks and the concept of "event compensation". Further, this work extends previous work by providing simulation-based proof of these concepts for an experimental power transmission bus network as a model CPS. © 2011 IEEE.
Recommended Citation
T. T. Gamage et al., "Confidentiality Preserving Security Properties for Cyber-physical Systems," Proceedings - International Computer Software and Applications Conference, pp. 28 - 37, article no. 6032322, Institute of Electrical and Electronics Engineers, Nov 2011.
The definitive version is available at https://doi.org/10.1109/COMPSAC.2011.13
Department(s)
Computer Science
International Standard Book Number (ISBN)
978-076954439-7
International Standard Serial Number (ISSN)
0730-3157
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2024 Institute of Electrical and Electronics Engineers, All rights reserved.
Publication Date
01 Nov 2011