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

First Page	Meta Content
	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 Document Date: 2013-07-05 16:36:49 Open Document File Size: 134,79 KB Share Result on Facebook

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