Designing and Verifying Core Protocols for Location Privacy

DOI10.1007/11836810_36zbMath1156.94406OpenAlexW1504559264MaRDI QIDQ3506903

Jorge Cuellar, David von Oheimb

Publication date: 17 June 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11836810_36

zbMATH Keywords

model checkingprivacyexplorationlocation informationGeopriv

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Uses Software

• AVISPA

This page was built for publication: Designing and Verifying Core Protocols for Location Privacy