Name
Abstract | ||
|---|---|---|
Cyber-Physical Systems (CPSs) are deeply embedded infrastructures that have significant cyber and physical components that interact with each other in complex ways. These interactions can violate a system’s security policy, leading to unintended information flow. The physical portion of such systems is inherently observable, and, as such, many methods of preserving confidentiality are not applicable. This fundamental property of CPSs presents new security challenges. To illustrate this, a vehicle composed of an embedded computer system, its operator, and its environment show how information is disclosed to an observer that is watching from the outside. The example is made of up a vehicle with an automated engine management system (smart cruise control) traveling across some terrain with an observer watching the vehicle. The information that is to be protected is the controller of the vehicle. This model is analyzed using formal models of information flow, namely nondeducibility and noninference. The vehicle’s operation, in context with the terrain of the road, discloses information to the observer. Context is important; the same information that was disclosed with one terrain type is hidden with a different terrain. This problem, its methodology, and results uncover problems, and solutions, based on the theory of information flow, to quantify security in these new types of systems. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/COMPSACW.2010.39 | Computer Software and Applications Conference Workshops |
Keywords | Field | DocType |
unintended information flow,embedded computer system,automated engine management system,new type,information flow,vehicle example,terrain type,new security challenge,embedded infrastructure,security policy,environmental obfuscation,cyber physical system,different terrain,management system,cyber physical systems,embedded computing,security,embedded systems | Information flow (information theory),Control theory,Computer security,Cruise control,Computer science,Terrain,Cyber-physical system,Security policy,Obfuscation,Observer (quantum physics) | Conference |
ISBN | Citations | PageRank |
978-0-7695-4105-1 | 4 | 0.66 |
References | Authors | |
4 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jason Madden | 1 | 6 | 1.48 |
| Bruce McMillin | 2 | 264 | 40.75 |
| Anik Sinha | 3 | 4 | 0.66 |