Computationally sound secrecy proofs by mechanized flow analysis.

Michael Backes Peeter Laud

Published in: CCS (2006)

Keyphrases

flow analysis
information flow
theorem proving
decision procedures
security properties
forensic analysis
mathematical proofs
decision making
key distribution
formal proof
security analysis