Transformation-Based Approach to Security Verification for Cyber-Physical Systems.

Saoussen Mili Nga Nguyen Rachid Chelouah

Published in: IEEE Syst. J. (2019)

Keyphrases

cyber physical systems
cyber security
cyber physical
physical world
critical infrastructure
smart grid
intrusion detection
information security
embedded systems
network security
data processing
security issues
computational intelligence
lightweight
virtual world
situation awareness
access control
decision makers