G.: Formal Analysis of Privacy for Anonymous Location Based Services (2011)

by M Dahl, S Delaune, Steel
Venue:In: Proceedings of the Joint Workshop on Theory of Security and Applications (TOSCA’11), LNCS 6993