Dartmouth Computer Science Technical Report TR2010-660
We provide a specification of \sc AnonyTL, a domain-specific language that describes sensing tasks for mobile devices in a manner that facilitates automated reasoning about privacy.
Peebles, Dan; Cornelius, Cory; Kapadia, Apu; Kotz, David; Shin, Minho; and Triandopoulos, Nikos, "AnonyTL Specification" (2010). Open Dartmouth: Faculty Open Access Articles. 3216.