Document Type

Article

Publication Date

1-2010

Publication Title

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.

Comments

Dartmouth Computer Science Technical Report TR2010-660

Share

COinS