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

DOI10.1016/J.JLAMP.2021.100735MaRDI QIDQ2669244zbMATH OpenOpenAlexWikidataFDO

Authors Kai Bavendiek, S. Schupp

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

location privacy-preserving mechanismslocation-based servicesmodel checkingprocess calculustemporal-epistemic modal logic

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Formal Analysis of Privacy for Anonymous Location Based Services
• Privacy by typing in the -calculus
• Type checking privacy policies in the -calculus
• Designing and Verifying Core Protocols for Location Privacy
• Faster Privacy-Preserving Location Proximity Schemes

Cites work

• A brief history of process algebra
• A calculus and logic of bunched resources and processes
• A calculus of mobile processes. I
• Anytime, anywhere: modal logics for mobile ambients
• Automated verification of selected equivalences for security protocols
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Location privacy via geo-indistinguishability
• Logic in Computer Science

Cited in

(2)

• LP3Verif
• Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems

Describes a project that uses

Uses Software

• LocLok
• MaPIR
• SpaceTwist
• Casper*
• CVC4

This page was built for publication: A process calculus for privacy-preserving protocols in location-based service systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2669244)