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