發送短信: A computational justification for guessing attack formalisms