%0 Journal Article %1 journals/jcs/Halpern17 %A Halpern, Joseph Y. %D 2017 %J J. Comput. Secur. %K dblp %N 1 %P 1-19 %T From qualitative to quantitative proofs of security properties using first-order conditional logic. %U http://dblp.uni-trier.de/db/journals/jcs/jcs25.html#Halpern17 %V 25

@article{journals/jcs/Halpern17, added-at = {2023-08-28T00:00:00.000+0200}, author = {Halpern, Joseph Y.}, biburl = {https://www.bibsonomy.org/bibtex/2c9a1cf5ab7b7500386faebb45357ec81/dblp}, ee = {https://www.wikidata.org/entity/Q113701271}, interhash = {0ff0f9f2f27205de771b78a069f9cfc3}, intrahash = {c9a1cf5ab7b7500386faebb45357ec81}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = 1, pages = {1-19}, timestamp = {2024-04-09T05:17:38.000+0200}, title = {From qualitative to quantitative proofs of security properties using first-order conditional logic.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs25.html#Halpern17}, volume = 25, year = 2017 }