Login / Signup

Enforcing security properties in task-based systems.

Keith IrwinTing YuWilliam H. Winsborough
Published in: SACMAT (2008)
Keyphrases
  • security properties
  • formal methods
  • real time
  • distributed systems
  • databases
  • case study
  • knowledge based systems
  • formal model
  • security patterns