Login / Signup

Provably Correct Runtime Enforcement of Non-interference Properties.

V. N. VenkatakrishnanWei XuDaniel C. DuVarneyR. Sekar
Published in: ICICS (2006)
Keyphrases
  • provably correct
  • real time
  • data sets
  • search engine
  • multi agent systems
  • open source
  • access control
  • fine grained
  • constraint satisfaction
  • structural properties
  • situation calculus
  • topological properties
  • power line