Pošljite SMS: Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol