Login / Signup

Applying flow-sensitive CQUAL to verify MINIX authorization check placement.

Timothy FraserNick L. Petroni Jr.William A. Arbaugh
Published in: PLAS (2006)
Keyphrases
  • access control
  • flow field
  • fine grained
  • hidden markov models
  • social networks
  • information systems
  • case study
  • image sequences
  • digital libraries
  • model checking
  • security policies
  • conflict resolution