שליחה במסרון: Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol