Повтор ключевого nonce/IV в недопустимом режиме

V-SEC-15 · Дефект

Повтор ключевого nonce/IV в недопустимом режиме

Повтор nonce с одним ключом может разрушить гарантии схемы шифрования. Постоянная строка nonce особенно опасна при нескольких сообщениях.

Пример проблемы и направление исправления

Учебные сокращённые фрагменты Swift или схемы протокола. Вспомогательные API условны. Это не тестовые oracle и не обещание, что текущий subset выдаст диагностику именно на этот код.

for message in messages {
    encrypt(message, key: key, nonce: fixedNonce)
}

for message in messages {
    encrypt(message, key: key, nonce: nonceProvider.next())
}

Что изменить и что сохранить

Использовать nonce strategy, отвечающую требованиям конкретной схемы, включая рестарты и нескольких writers. Вызов next без доказанного контракта недостаточен.

Что подтверждено сейчас

В срезе 022 требуется восстановление и квалификация source producer. Целевое доказательство и пример описывают желаемое поведение; они не являются свидетельством действующей диагностики.

Владелец реализации

T020: точная область и ограничения прослеживаются во внутреннем source manifest.

Стратегия первого результата

Experimental advisory — план реализации, не maturity

Смысл результата

Дефект — не уровень severity

Профиль реестра

native-experimental.swift-6.3.3

Автоисправление и CI

Эта страница не заявляет autocorrect, default enablement или blocking CI.

Ключ происхождения

VISION