Formal Analysis of Privacy for Anonymous Location Based Services

DOI10.1007/978-3-642-27375-9_6zbMath1378.94035OpenAlexW2105709291MaRDI QIDQ2902922

Graham Steel, Stéphanie Delaune, Morten Dahl

Publication date: 22 August 2012

Published in: Theory of Security and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27375-9_6

Mathematics Subject Classification ID

Cryptography (94A60) Internet topics (68M11)

Related Items (1)

Automated Verification of Equivalence Properties of Cryptographic Protocols

This page was built for publication: Formal Analysis of Privacy for Anonymous Location Based Services