Joseph Y. Halpern
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic
LICS, 2013.
@inproceedings{LICS-2013-Halpern,
acmid = "2591422",
author = "Joseph Y. Halpern",
booktitle = "{Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2013.66",
isbn = "978-1-4799-0413-6",
pages = "2--3",
publisher = "{IEEE Computer Society}",
title = "{From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic}",
year = 2013,
}