A Model-Based Approach to Security Analysis for Cyber-Physical Systems.

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

Published in: CoRR (2017)

Keyphrases

security analysis
cyber physical systems
cyber security
security requirements
public key
physical world
smart card
encryption scheme
embedded systems
user authentication
critical infrastructure
real time
knowledge management
data warehouse
smart grid