Formal analysis of device authentication applications in ubiquitous computing.

William R. Claycomb, Dongwan Shin

Browse the full SAC paper archive.