Enviar aquest missatge de text: A computational justification for guessing attack formalisms