Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems
Gerry Howser, Bruce McMillin · Computer · 2017
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.