أرسل هذا في رسالة قصيرة: A computational justification for guessing attack formalisms