Login / Signup
Security modelling and formal verification of survivability properties: Application to cyber-physical systems.
Simona Bernardi
Ugo Gentile
Stefano Marrone
José Merseguer
Roberto Nardone
Published in:
J. Syst. Softw. (2021)
Keyphrases
</>
formal verification
cyber physical systems
decision support
access control
information security
network security
mobile devices
sensor networks
intrusion detection
distributed databases
risk assessment
cyber security
automated verification