From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic.

Joseph Y. Halpern

Browse the full AAAI paper archive.