Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol

Dusko Pavlovic, Catherine Meadows

As mobile devices pervade physical space, the familiar authentication patterns are becoming insufficient: besides entity authentication, many applications require, e.g., location a…