Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems
Securing information flow is essential to methods that must ensure confidentiality, but information-flow disruption is equally important because it points to an integrity vulnerability. A proposed security model addresses both aspects, accounting for cyber-physical systems' unique confidentiality and integrity vulnerabilities.
G. Howser and B. M. McMillin, "Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems," Computer, vol. 50, no. 4, pp. 17-26, IEEE Computer Society, Apr 2017.
The definitive version is available at https://doi.org/10.1109/MC.2017.112
Keywords and Phrases
CPSs; Cyber-Physical Systems; Cybersecurity; Formal Security Models; Information-Flow Security; Modal Logic; Nondeducibility; Security; System Confidentiality; System Integrity
International Standard Serial Number (ISSN)
Article - Journal
© 2017 IEEE Computer Society, All rights reserved.