Bạn không viết các khẳng định bằng cách hiểu mọi vector tấn công. Bạn viết các khẳng định bằng cách định nghĩa mọi trạng thái bị hack.