Policies and Proofs for Code Auditing.

Nathan Whitehead Jordan Johnson Martín Abadi

Published in: ATVA (2007)

Keyphrases

source code
theorem proving
optimal policy
error correcting
statistical databases
database
formal proofs
data mining
information retrieval
website
open source
theorem prover
access control
object oriented
case study
learning algorithm
real time