Үүнийг мессежээр илгээх: A computational justification for guessing attack formalisms