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

Gerry Howser, Bruce M. McMillin. Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems. IEEE Computer, 50(4):17-26, 2017. [doi]