Formal Analysis of Privacy for Anonymous Location Based Services

Morten Dahl, Stéphanie Delaune, Graham Steel. Formal Analysis of Privacy for Anonymous Location Based Services. In Sebastian Mödersheim, Catuscia Palamidessi, editors, Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers. Volume 6993 of Lecture Notes in Computer Science, pages 98-112, Springer, 2011. [doi]

Authors

Morten Dahl

This author has not been identified. Look up 'Morten Dahl' in Google

Stéphanie Delaune

This author has not been identified. Look up 'Stéphanie Delaune' in Google

Graham Steel

This author has not been identified. Look up 'Graham Steel' in Google