Login / Signup

Formal model of cyber attacks on virtualization tools and a measure of hypervisor vulnerability.

Alexey V. NikolskiyYu. S. Vasil'ev
Published in: Autom. Control. Comput. Sci. (2015)
Keyphrases
  • formal model
  • cyber attacks
  • virtual machine
  • operating system
  • formal models
  • computer systems
  • cyber security
  • security properties
  • data center
  • security policies
  • information systems
  • sensor networks
  • cloud computing