Login / Signup

Resilient multi-core systems: a hierarchical formal model for N-variant executions.

Axel W. KringsLi TanClinton JefferyRobert Rinker
Published in: CSIIRW (2009)
Keyphrases
  • formal model
  • multi core systems
  • multi core processors
  • security properties
  • security patterns
  • general purpose
  • shared memory