Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems

Author

Gerry W. Howser, Missouri University of Science and Technology
Bruce M. McMillin, Missouri University of Science and TechnologyFollow

Abstract

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.

Recommended Citation

G. W. 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

Department(s)

Computer Science

Research Center/Lab(s)

Intelligent Systems Center

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)

0018-9162; 1558-0814

Document Type

Article - Journal

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2017 IEEE Computer Society, All rights reserved.

Publication Date

01 Apr 2017