AnonyTL Specification


Dan Peebles, Cory Cornelius, Apu Kapadia, David Kotz, Minho Shin, and Nikos Triandopoulos. AnonyTL Specification. Technical Report number TR2010-660, Dartmouth Computer Science, January 2010. ©Copyright the authors.


We provide a specification of AnonyTL, a domain-specific language that describes sensing tasks for mobile devices in a manner that facilitates automated reasoning about privacy.

Citable with [BibTeX]

Projects: [metrosense]

Keywords: [privacy] [security] [sensors]

Available from the publisher: [page]

Available from the author: [bib] [pdf]
This pdf was produced by the publisher and its posting here is permitted by the publisher.

[Kotz research]