Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation

2010 ◽  
Author(s):  
Thoshitha T. Gamage ◽  
Bruce M. McMillin ◽  
Thomas P. Roth
Keyword(s):  
Information Flow ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Information Flow Security ◽  
Generalized Framework ◽  
Security Properties

Performance Evaluation of the Information Flow Monitor Protocol in Cyber-Physical Systems

2020 ◽  
Author(s):  
Stefan Gries ◽  
Volker Gruhn
Keyword(s):  
Performance Evaluation ◽  
Information Flow ◽  
Network Traffic ◽  
Processing Time ◽  
Cyber Physical Systems ◽  
Original Source ◽  
Physical Systems

The Information Flow Monitor (IFM) is a protocol and tool that can record dependencies between exchanged information in Cyber-Physical Systems (CPS). This makes it possible to determine the original source of faulty information in case of an error and to correct errors at their origin. However, the IFM protocol also requires additional resources in terms of processing time and network traffic. In this paper, we measure the additional resources required using an example network and discuss how these resources can affect the operation of a CPS.

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

Computer ◽  
2017 ◽  
Vol 50 (4) ◽  
pp. 17-26 ◽  
Author(s):  
Gerry Howser ◽  
Bruce McMillin
Keyword(s):  
Information Flow ◽  
Cyber Physical Systems ◽  
Physical Systems
Sign in / Sign up

Export Citation Format

Share Document