Author:Georgios V. Pitsiladis

Publications
Type Checking Conditional Purpose-Based Privacy Policies in the π-Calculus Georgios V. Pitsiladis EasyChair Preprint 7596

Keyphrases

labelled transition semantic, Privacy, privacy policies, privacy policy, Privacy Policy Language, purpose based privacy policy, Role Based Access Control, type system, type systems, π-calculus.