Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid.
Yan SunBruce M. McMillinXiaoqing Frank LiuDavid A. CapePublished in: QSIC (2007)
Keyphrases
- power grid
- cyber security
- cyber physical systems
- critical infrastructure
- smart grid
- electric vehicles
- power system
- intrusion detection
- communication networks
- intrusion detection system
- network security
- information security
- security policies
- control system
- information systems
- security issues
- communication systems
- power plant
- data acquisition
- data processing
- fuzzy logic
- artificial neural networks