From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic - Computer Science > Cryptography and SecurityReport as inadecuate




From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic - Computer Science > Cryptography and Security - Download this document for free, or read online. Document in PDF available to download.

Abstract: A first-order conditional logic is considered, with semantics given by avariant of epsilon-semantics, where p -> q means that Prq | p approaches 1super-polynomially -faster than any inverse polynomial. This type ofconvergence is needed for reasoning about security protocols. A completeaxiomatization is provided for this semantics, and it is shown how aqualitative proof of the correctness of a security protocol can beautomatically converted to a quantitative proof appropriate for reasoning aboutconcrete security.



Author: Joseph Y. Halpern

Source: https://arxiv.org/







Related documents