Văn bản này: A Computational Justification for Guessing Attack Formalisms