David von Oheimb, Jorge Cuéllar. Designing and Verifying Core Protocols for Location Privacy. In Sokratis K. Katsikas, Javier Lopez, Michael Backes, Stefanos Gritzalis, Bart Preneel, editors, Information Security, 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings. Volume 4176 of Lecture Notes in Computer Science, pages 502-516, Springer, 2006. [doi]
@inproceedings{OheimbC06,
title = {Designing and Verifying Core Protocols for Location Privacy},
author = {David von Oheimb and Jorge Cuéllar},
year = {2006},
doi = {10.1007/11836810_36},
url = {http://dx.doi.org/10.1007/11836810_36},
tags = {protocol},
researchr = {https://researchr.org/publication/OheimbC06},
cites = {0},
citedby = {0},
pages = {502-516},
booktitle = {Information Security, 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings},
editor = {Sokratis K. Katsikas and Javier Lopez and Michael Backes and Stefanos Gritzalis and Bart Preneel},
volume = {4176},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-38341-7},
}