ИСТИНА

Довольно часто вопросы "доказуемой стойкости" вызывают дискуссии на профильных конференциях; так, многими ставится под сомнение сама необходимость подобного подхода, а ошибки в доказательствах и моделях стали "притчей во языцех". В докладе на примере угрозы нарушения приватности пользователей для протокола 5G-AKA будут затронуты некоторые аспекты моделирования и теоретико-сложностных сведений: зачем нужна формализация/модель и можно ли обойтись без этого этапа? каковы гарантии, если сведение всё-таки удалось построить? и наконец: отличается ли кардинально ситуация с моделями внутри криптографии от других наук?