Text this: Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol