發送短信: Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol