Login / Signup
Compositional noninterference from first principles.
Carroll Morgan
Published in:
Formal Aspects Comput. (2012)
Keyphrases
</>
security policies
search algorithm
information systems
decision making
web pages
website
building blocks