Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements.
['Tsan-sheng Hsu', 'Churn-Jung Liau', 'Da-Wei Wang']
Logic, Probability, and Privacy: A Framework for Specifying Privacy Requirements.