ASSA-CPS: Automated Formal Safety and Security Assessments in Cyber-Physical Systems.

Published in: ICSRS (2023)

Keyphrases

cyber physical systems
cyber security
cyber physical
physical world
critical infrastructure
access control
smart grid
embedded systems
security issues
data mining
intrusion detection
data acquisition
information security
network security