"Formal analysis of device authentication applications in ubiquitous computing."

William R. Claycomb, Dongwan Shin (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics