Formal specification and verification of user-centric privacy policies for ubiquitous systems.

Rezvan Joshaghani, Stacy Black, Elena Sherman, Hoda Mehrpouyan

Browse the full IDEAS paper archive.