Login / Signup

Extending the Noninterference Version of MLS for SAT.

J. Thomas HaighWilliam D. Young
Published in: IEEE Trans. Software Eng. (1987)
Keyphrases
  • sat solvers
  • search algorithm
  • data sets
  • neural network
  • genetic algorithm
  • intrusion detection
  • constraint satisfaction problems
  • security policies
  • boolean satisfiability
  • sat solving
  • pseudo boolean constraints