Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang. Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements. In Andrei Voronkov, editor, Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. Volume 10 of EPiC Series, pages 157-167, EasyChair, 2012. [doi]
Abstract is missing.