From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

Halpern. "From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic." AAAI Conference on Artificial Intelligence, 2008.

[Halpern. "From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/halpern2008aaai-qualitative/)

@inproceedings{halpern2008aaai-qualitative,
  title     = {{From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic}},
  author    = {Halpern, Joseph Y.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {454-459},
  url       = {https://mlanthology.org/aaai/2008/halpern2008aaai-qualitative/}
}