Вы не пишете утверждения, понимая каждую вектор атаки. Вы пишете утверждения, определяя каждое взломанное состояние.