Designing and Verifying Core Protocols for Location Privacy (Q3506903)
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 5289074
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Designing and Verifying Core Protocols for Location Privacy |
scientific article; zbMATH DE number 5289074 |
Statements
Designing and Verifying Core Protocols for Location Privacy (English)
0 references
17 June 2008
0 references
Geopriv
0 references
location information
0 references
privacy
0 references
model checking
0 references
exploration
0 references
0.750048816204071
0 references
0.7387908101081848
0 references
0.7163550853729248
0 references
0.7132313251495361
0 references
