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

researchr

You are not signed in
Sign in
Sign up

Joseph Y. Halpern. From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. In Dieter Fox, Carla P. Gomes, editors, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. pages 454-459, AAAI Press, 2008.

Abstract is missing.

runs on WebDSL