EasyChair Smart Slide
Implementation of Privacy Calculus and Its Type Checking in Maude
Implementation of Privacy Calculus and Its Type Checking in Maude