Options
The σ-calculus : a process calculus for privacy-preserving protocols in location-based service systems
Citation Link: https://doi.org/10.15480/882.4258
Publikationstyp
Doctoral Thesis
Date Issued
2022
Sprache
English
Author(s)
Advisor
Referee
Title Granting Institution
Technische Universität Hamburg
Place of Title Granting Institution
Hamburg
Examination Date
2022-03-04
Institut
TORE-DOI
Citation
Technische Universität Hamburg (2022)
Location privacy-preserving mechanisms (LPPM) use different computational approaches to protect personal data in queries to location-based services. These LPPMs give different privacy claims that are not per se comparable. We propose the σ-calculus, a process calculus to model LPPMs and their privacy guarantees. Furthermore, we present LP3Verif, which is a model checking tool to verify location privacy properties of LPPMs using the σ-calculus.
Subjects
Process calculus
Modal logic
Model Checking
location based service
location privacy
DDC Class
620: Ingenieurwissenschaften
Loading...
Name
Bavendiek_Kai_Sigma-Calculus.pdf
Size
2.59 MB
Format
Adobe PDF