2012 45th Hawaii International Conference on System Sciences (2012)
Maui, Hawaii USA
Jan. 4, 2012 to Jan. 7, 2012
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.
Security, Information Flow, Cyber-physical system, Bisimulation Equivalence, Non-deducibility
B. McMillin and R. Akella, "Verification and Protection of Confidentiality in an Advanced Smart Grid," 2012 45th Hawaii International Conference on System Sciences(HICSS), Maui, Hawaii USA, 2012, pp. 2169-2175.