%0 Conference Paper %1 conf/aaai/Halpern08 %A Halpern, Joseph Y. %B AAAI %D 2008 %E Fox, Dieter %E Gomes, Carla P. %I AAAI Press %K dblp %P 454-459 %T From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2008.html#Halpern08 %@ 978-1-57735-368-3

@inproceedings{conf/aaai/Halpern08, added-at = {2023-09-05T00:00:00.000+0200}, author = {Halpern, Joseph Y.}, biburl = {https://www.bibsonomy.org/bibtex/2a12a111d066fcee0f267bc3f244c5d50/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2008}, editor = {Fox, Dieter and Gomes, Carla P.}, ee = {http://www.aaai.org/Library/AAAI/2008/aaai08-072.php}, interhash = {5a046950cdb3bfef36d88e31fa1883f8}, intrahash = {a12a111d066fcee0f267bc3f244c5d50}, isbn = {978-1-57735-368-3}, keywords = {dblp}, pages = {454-459}, publisher = {AAAI Press}, timestamp = {2024-04-10T17:37:26.000+0200}, title = {From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2008.html#Halpern08}, year = 2008 }