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

Keywords: project-metrosense,ists,security,privacy,sensors


PDF (72K)

Copyright © 2010 by the authors.