Login / Signup

Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols.

Max I. KanovichTajana Ban KiriginVivek NigamAndre ScedrovCarolyn L. Talcott
Published in: POST (2015)
Keyphrases
  • cyber physical
  • security protocols
  • social networks
  • data management
  • data processing