A Distributed Drafting Algorithm for Load Balancing
IEEE Transactions on Software Engineering
Security and Privacy Challenges in the Smart Grid
IEEE Security and Privacy
Model-Checking BNDC Properties in Cyber-Physical Systems
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
On False Data Injection Attacks against Distributed Energy Routing in Smart Grid
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Hi-index | 0.00 |
Information flow security within the context of multilevel security deals with ways to avoid unwanted information flow from a high level domain to a low level domain. Several confidentiality and information flow properties have been formalized in literature. However, applying them to Cyber-Physical Systems (CPSs) adds to the challenge of protecting confidentiality. This paper performs an information flow analysis of a future power CPS that has complex information flow and confidentiality requirements. Confidentiality properties such as nondeducibility are applied to the infrastructure considered. The proposed approach provides a unique direction for formalizing information flow properties for such systems with inherent complexity and security requirements.