Conference: FMPriv 2016 (First Workshop for Formal Methods on Privacy)

Conference: FMPriv 2016 (First Workshop for Formal Methods on Privacy)

This page shows all presentations from this conference published in 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

Georgios V. Pitsiladis

Presentations in this collection: 1