These slides give a high-level description of the Privacy Calculus framework and describes the key challenges of implementing it to Maude