Я відчуваю, що доказ безпеки схожий на філософію «безпека», дещо відрізняючись тим, як ви вирішуєте дивитися (припущення, скажімо) Якщо ви не знайшли конкретної атаки
304