Я чувствую, что доказательство безопасности похоже на философию "безопасности" — это немного зависит от того, как вы выбираете смотреть на это (предположим, предположение) Если только вы не нашли конкретную атаку.