Anfonwch hwn fel neges destun: A computational justification for guessing attack formalisms