Formal Specification and Verification of User-Centric Privacy Policies for Ubiquitous Systems

Rezvan Joshaghani, Stacy Black, Elena Sherman, Hoda Mehrpouyan

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	American English
Title of host publication	IDEAS '19: Proceedings of the 23rd International Database Applications & Engineering Symposium
State	Published - 1 Jan 2019

Keywords

@inbook{0d8089df233141d8b104373c25f66280,

title = "Formal Specification and Verification of User-Centric Privacy Policies for Ubiquitous Systems",

keywords = "privacy, formal methods, user-centric policies",

author = "Rezvan Joshaghani and Stacy Black and Elena Sherman and Hoda Mehrpouyan",

year = "2019",

month = jan,

day = "1",

language = "American English",

booktitle = "IDEAS '19: Proceedings of the 23rd International Database Applications & Engineering Symposium",

}

TY - CHAP

T1 - Formal Specification and Verification of User-Centric Privacy Policies for Ubiquitous Systems

AU - Joshaghani, Rezvan

AU - Black, Stacy

AU - Sherman, Elena

AU - Mehrpouyan, Hoda

PY - 2019/1/1

Y1 - 2019/1/1

KW - privacy

KW - formal methods

KW - user-centric policies

UR - https://scholarworks.boisestate.edu/cs_facpubs/192

UR - https://doi.org/10.1145/3331076.3331105

M3 - Chapter

BT - IDEAS '19: Proceedings of the 23rd International Database Applications & Engineering Symposium

ER -