Sign in

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.

Fereidoun MoradiSara Abbaspour AsadollahAli SedaghatbafAida CausevicMarjan SirjaniCarolyn L. Talcott
Published in: FMICS (2020)
Keyphrases
  • security analysis
  • cyber physical systems
  • cyber physical
  • smart card
  • public key
  • security requirements
  • physical world
  • embedded systems
  • encryption scheme
  • cyber security
  • user authentication
  • lightweight