この資料をSMS送信: A computational justification for guessing attack formalisms