From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic: Abstract∗ Joseph Y. Halpern Dept. of Computer Science Cornell University

First Page		Document Content
Date: 2013-07-05 16:36:49		From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic: Abstract∗ Joseph Y. Halpern Dept. of Computer Science Cornell University Add to Reading List Source URL: csf2013.seas.harvard.edu Download Document from Source Website File Size: 134,79 KB Share Document on Facebook