Защита данных в цифровую эпоху зависит от механизмов, чья надёжность имеет двойственную природу. С одной стороны, существуют строгие математические модели и формальные доказательства безопасности в рамках заданных условий. С другой — эти модели почти всегда опираются на базовые гипотезы, истинность которых не установлена окончательно. Безопасность интернета держится не на аксиомах, а на рабочих допущениях, которые десятилетиями успешно противостоят атакам, но теоретически могут быть пересмотрены...