Login / Signup

A Per Model of Secure Information Flow in Sequential Programs.

Andrei SabelfeldDavid Sands
Published in: ESOP (1999)
Keyphrases
  • information flow
  • high level
  • probabilistic model
  • real world
  • formal model
  • databases
  • decision making
  • petri net