Login / Signup
A Per Model of Secure Information Flow in Sequential Programs.
Andrei Sabelfeld
David Sands
Published in:
High. Order Symb. Comput. (2001)
Keyphrases
</>
information flow
probabilistic model
agent model