Abstract | ||
---|---|---|
Information flow typically refers to the explicit as well as implicit information resulting from the interaction of cyber processes constituting a system. Information flow also occurs in cyber-physical systems (CPSs). Information flow is difficult to detect in CPSs, due to their physical nature and complex interactions among various computational and physical components. In this work, formal methods of security specification and verification are extended to describe confidentiality in CPSs. This paper presents a general approach to specify and verify information flow properties, such as non-deducibility, in a CPS using bisimulation techniques. An advanced smart grid power management system's confidentiality is verified. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/HICSS.2012.634 | HICSS |
Keywords | Field | DocType |
information flow property,physical nature,advanced smart grid,management system,complex interaction,physical component,cyber-physical system,information flow,bisimulation technique,implicit information,advanced smart grid power,security,mathematical model,smart grids,formal method,cyber physical systems,cyber physical system,algebra,testing | Information flow (information theory),Confidentiality,Smart grid,Computer science,Power management system,Peer to peer computing,Cyber-physical system,Bisimulation,Formal methods,Distributed computing | Conference |
Citations | PageRank | References |
1 | 0.39 | 8 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bruce McMillin | 1 | 264 | 40.75 |
Ravi Akella | 2 | 52 | 5.28 |