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.
Citable with [BibTeX]: \cite{peebles:anonytl}
Projects: [metrosense]
Keywords: [privacy] [security] [sensors]
Available from the publisher: [page]
Available from the author:
[bib]
[pdf]
This pdf was produced by the publisher and its posting here is permitted by the publisher.
