Сильная секретность - Strong secrecy

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

Сильная секретность означает, что злоумышленник не увидит разницы при изменении значения секрета.[1]

Например, если процесс шифрует сообщение м злоумышленник может различать разные сообщения, поскольку их шифртексты будет иначе. Таким образом м не сильный секрет. Однако если вероятностное шифрование были использованы, м было бы сильным секретом. Случайность, заложенная в шифрование алгоритм даст разные шифртексты для одного и того же значения м.

Смотрите также

Примечания

  1. ^ Бланше Б. (2004) Автоматическое доказательство строгой секретности протоколов безопасности. В материалах симпозиума IEEE по безопасности и конфиденциальности, стр. 86-100. https://www.di.ens.fr/~blanchet/publications/BlanchetOakland04.html