Login / Signup

Assumptions and Guarantees for Compositional Noninterference.

Heiko MantelDavid SandsHenning Sudbrock
Published in: CSF (2011)
Keyphrases
  • database
  • security policies
  • information systems
  • restrictive assumptions
  • learning environment