A process calculus for privacy-preserving protocols in location-based service systems

DOI10.1016/j.jlamp.2021.100735OpenAlexW3213731618WikidataQ114013908 ScholiaQ114013908MaRDI QIDQ2669244

Sibylle Schupp, Kai Bavendiek

Publication date: 9 March 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100735

zbMATH Keywords

model checkingprocess calculuslocation-based serviceslocation privacy-preserving mechanismstemporal-epistemic modal logic

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items

LP3Verif

Uses Software

• CVC4
• LocLok
• SpaceTwist
• MaPIR
• Casper*

Cites Work

• A calculus and logic of bunched resources and processes
• A calculus of mobile processes. I
• A brief history of process algebra
• Automated verification of selected equivalences for security protocols
• Location Privacy via Geo-Indistinguishability
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Logic in Computer Science
• Anytime, anywhere