A model-based approach to security analysis for cyber-physical systems.

Georgios Bakirtzis Bryan T. Carter Carl R. Elks Cody Harrison Fleming

Published in: SysCon (2018)

Keyphrases

security analysis
cyber physical systems
physical world
security requirements
cyber security
smart card
public key
embedded systems
encryption scheme
critical infrastructure
user authentication
real time
anomaly detection