Document Type
Technical Report
Publication Date
1-2010
Technical Report Number
TR2010-660
Abstract
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.
Dartmouth Digital Commons Citation
Peebles, Dan; Cornelius, Cory; Kapadia, Apu; Kotz, David; Shin, Minho; and Triandopoulos, Nikos, "AnonyTL Specification" (2010). Computer Science Technical Report TR2010-660. https://digitalcommons.dartmouth.edu/cs_tr/293
