Кратко

  • RFC 9529 публикует фиксированные входы, сообщения EDHOC, хеши транскрипта, промежуточные PRK, шифротексты, экспортеры, параметры OSCORE и примеры ошибок для побайтового сравнения.
  • Полное совпадение доказывает воспроизводимость этого расчёта, но не свежесть случайности, сохранность ключей, полноту проверок, полномочия владельца удостоверения и эффект реального сеанса.
  • Для решения нужны пять связанных подтверждений: вектор, негативные проверки, энтропия и ключи, идентичность и политика, результат сеанса.

Система сборки не нашла расхождений. message_1, TH_2, CIPHERTEXT_3, PRK_exporter и мастер-секрет OSCORE совпали. Сотни сравнений превратились в один статус: EDHOC проверен.

Но после каждой перезагрузки устройство использовало тот же эфемерный закрытый ключ.

Это иллюстрация, а не сообщение о продукте. Она показывает предел теста. RFC 9529 содержит аннотированные трассы EDHOC с входами, выходами и промежуточными значениями, проверенные двумя независимыми реализациями. Они позволяют найти первую точку расхождения, а не спорить о конечном индикаторе.

Фиксированный вектор не удостоверяет свойство, которое он не менял.

Вычислительная цепочка становится видимой

EDHOC предназначен для ограниченных устройств, но соединяет выбор метода и набора, идентификаторы, эфемерный Diffie-Hellman, удостоверения, хеши транскрипта, MAC или подпись, AEAD, экспортеры и OSCORE.

Первая трасса использует подписи, X.509 с x5t, X25519 и EdDSA. Вторая — статическую DH-аутентификацию, CCS с kid, P-256 и согласование набора через ошибку и повторный message_1.

Документ показывает TH_2, TH_3, TH_4, промежуточные PRK, открытый и шифрованный текст, associated data, PRK_out, PRK_exporter, OSCORE Master Secret и Salt, а также KeyUpdate. Отличие можно отнести к CBOR, удостоверению, набору или контексту KDF.

Полномочие трассы точно: при данных входах предписанное вычисление выдаёт данные байты.

Опубликованный секрет существует ради теста

Воспроизводимость требует фиксированных значений. RFC печатает необходимые закрытые ключи и запрещает считать их секретными или использовать. Вектору нужен известный секрет; эксплуатации — непредсказуемый секрет с контролируемым созданием, хранением и удалением.

Успех не измеряет генератор случайных чисел, независимость после перезапуска, извлекаемость, очистку памяти, аппаратную изоляцию и разделение параллельных сеансов. Для этого нужны отдельные проверки.

Следует хранить номер трассы, версию, платформу и компилятор рядом с результатами энтропии, происхождением ключа, подтверждением хранения, испытаниями после перезапуска, клонирования и конкуренции.

Одинаковый транскрипт не равен живой личности

TH_2 связывает эфемерный ключ ответчика с хешем message_1; следующие состояния добавляют аутентифицированный текст и удостоверения. Производные ключи зависят от всей истории.

Однако эталон сам предоставляет удостоверение и ключ. В эксплуатации надо разрешить x5t или kid, проверить правила, связать удостоверение с устройством или субъектом и определить права. Корректная криптография совместима с неправильным локальным сопоставлением или чрезмерным разрешением.

Экспортер тоже не является результатом приложения. Материал OSCORE не доказывает приём следующего сообщения, защиту от повтора, свежесть показания или действие исполнительного механизма. Эти события требуют собственного журнала.

Неверные примеры — не вся поверхность

Раздел 4 показывает массив вместо CBOR-последовательности, лишние оболочки, неверное число или тип элементов, эфемерный ключ как текст и недетерминированное кодирование. Криптографические случаи включают неверную длину, координату вне поля, точку вне кривой, точку малого порядка Curve25519, короткий MAC и пропущенный нулевой октет.

RFC прямо называет набор небольшим. Похожие ошибки возможны в других полях. Отказ на всех примерах не доказывает безопасность для любой глубины, длины, последовательности состояний и затрат ресурсов. Fuzzing, property-тесты, дифференциальные проверки, лимиты и ревью остаются отдельными доказательствами.

«Отклоняет неверные трассы RFC 9529» проверяемо. «Устойчив к некорректному EDHOC» требует более широкой программы.

Детерминированный CBOR — часть криптографии

RFC различает сырые байты и CBOR-представление. Излишне длинное целое и массив неопределённой длины могут выглядеть одинаково после разбора, но меняют вход хеша, подписи, MAC и KDF.

Поэтому журнал должен сохранять сырые сообщения, решение о кодировании, первое промежуточное отличие, набор и форму удостоверения. Один декодированный объект может стереть причину.

Интероперабельность имеет границу

Две независимые реализации проверили трассы. Это снижает риск принять частную договорённость за протокол.

Но это согласие на выбранных примерах, не на всех наборах, методах, удостоверениях, EAD и ошибках. Реестр EDHOC IANA назначает значения; он не подтверждает поддержку продуктом и безопасность включения.

Стандарт и трассы задают переносимый минимум. Объём реализации, политика, жизненный цикл и наблюдаемая ошибка остаются местной ответственностью.

Пять подтверждений вместо значка

Первое фиксирует вектор, сборку, платформу, компилятор, backend и первое отличие. Второе — негативные входы, место отказа, стоимость и состояние после него.

Третье относится к энтропии и ключам: здоровье, повторения, происхождение, изоляция и очистка. Четвёрто — к личности: разрешение x5t или kid, якорь доверия, правило, субъект и право. Пятое — к реальности: peer, replay, экспортер, OSCORE, защищённое сообщение и фактический эффект.

Разделение слоёв реальности у Heng Lu здесь практично. Спецификация не реализация; верный расчёт не свежий ключ; валидное удостоверение не разрешение; производный секрет не результат. Контроль появляется при связи, а не при смешении.

Чего источники не доказывают

Источники не называют производителя, повторявшего ключи, и не дают статистику внедрения, флота или побочных каналов. Начальная сцена — контрольная гипотеза.

Граница усиливает RFC 9529: он превращает скрытый расчёт в исполняемое доказательство. Остальные слои должна подтвердить эксплуатация.

Источники