EasyChair Smart Slide
Type Checking Conditional Purpose-Based Privacy Policies in the Π-Calculus and an Implementation in Maude
Type Checking Conditional Purpose-Based Privacy Policies in the Π-Calculus and an Implementation in Maude