Title

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

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.

Department(s)

Computer Science

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.

Share

 
COinS