A process calculus for privacy-preserving protocols in location-based service systems (Q2669244)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7485816
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A process calculus for privacy-preserving protocols in location-based service systems |
scientific article; zbMATH DE number 7485816 |
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
0.7568130493164062
0 references
0.7326040267944336
0 references
0.7210004925727844
0 references
0.7188040018081665
0 references
0.7133662700653076
0 references
