Үүнийг мессежээр илгээх: Quantifying pervasive authentication: the case of the Hancke−Kuhn protocol