A process calculus for privacy-preserving protocols in location-based service systems (Q2669244)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A process calculus for privacy-preserving protocols in location-based service systems |
scientific article |
Statements
A process calculus for privacy-preserving protocols in location-based service systems (English)
0 references
9 March 2022
0 references
process calculus
0 references
temporal-epistemic modal logic
0 references
model checking
0 references
location privacy-preserving mechanisms
0 references
location-based services
0 references
