Login / Signup

Precise Enforcement of Confidentiality for Reactive Systems.

Dante ZanariniMauro JaskelioffAlejandro Russo
Published in: CSF (2013)
Keyphrases
  • reactive systems
  • access control
  • model checking
  • temporal logic
  • information flow
  • formal methods
  • petri net
  • control flow
  • real time systems
  • information security
  • state machines