Login / Signup
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