From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. presented at CSF 2013

by Joseph y. Halpern,

Tags: Security

Summary : N/A