Abstract
Preserving the confidentiality of sensitive internal actions is a unique challenge in Cyber-Physical Systems (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 paper proposes fundamental theories on external observability for basic regular networks and the concept of "event compensation". Copyright © 2011 ACM.
Recommended Citation
T. Gamage et al., "Information Flow Security in Cyber-physical Systems," ACM International Conference Proceeding Series, Association for Computing Machinery (ACM), Dec 2011.
The definitive version is available at https://doi.org/10.1145/2179298.2179356
Department(s)
Computer Science
Keywords and Phrases
D.4.6 [Security and Protection]: Information flow controls - Physical security; Security
International Standard Book Number (ISBN)
978-145030945-5
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2024 Association for Computing Machinery, All rights reserved.
Publication Date
01 Dec 2011
