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

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

Строгая секретность означает, что противник не может увидеть никакой разницы при изменении ценности секрета. ^{[ 1 ]}

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

См. также

Семантическая безопасность

Примечания

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

Эта статья, посвященная криптографии, незавершена . Вы можете помочь Википедии, расширив ее .

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

[ 1 ]