AnonyTL Specification
Dartmouth Computer Science Technical Report TR2010-660
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.
This paper has been withdrawn.