Login / Signup

Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.

Bernhard BeckertSimon BischofMihai HerdaMichael KirstenMarko Kleine Büning
Published in: ICFEM (2018)
Keyphrases
  • theorem prover
  • theorem proving
  • artificial intelligence
  • metadata
  • expert systems
  • probability distribution
  • intrusion detection
  • automated reasoning