Dan Peebles and Cory Cornelius and Apu Kapadia and David Kotz and
Minho Shin and Nikos Triandopoulos.
AnonyTL Specification.
Technical Report
TR2010-660,
Dept. of Computer Science, Dartmouth College,
January,
2010.
Abstract: 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.