From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic - Computer Science > Cryptography and SecurityReportar como inadecuado




From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic - Computer Science > Cryptography and Security - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



Autor: Joseph Y. Halpern

Fuente: https://arxiv.org/







Documentos relacionados