author : Joseph Y. Halpern

Books

• Reasoning about Uncertainty. 2003

Short works

• Modeling adversaries in a logic for security protocol analysis. 2003. (In Formal Aspects of Security )

Books : reviews

Joseph Y. Halpern.
Reasoning about Uncertainty.
MIT Press. 2003