Resolving the Tension between Integrity and Security Using a Theorem Prover.

Subhasish Mazumdar, David W. Stemple, Tim Sheard

Browse the full SIGMOD paper archive.