Silné tajemství - Strong secrecy

Silné tajemství je termín používaný v formální důkaz -na základě kryptografie pro vytváření návrhů o bezpečnosti kryptografické protokoly. Je to silnější pojem bezpečnosti než syntaktické (nebo slabé) tajemství. Silné tajemství souvisí s konceptem sémantická bezpečnost nebo nerozeznatelnost používá se v přístupu založeném na výpočtu. Bruno Blanchet poskytuje následující definici silného tajemství:

Silné utajení znamená, že protivník nevidí žádný rozdíl, když se změní hodnota tajemství[1]

Například pokud proces zašifruje zprávu m útočník může rozlišovat mezi různými zprávami, protože jejich šifrovací texty bude jiný. Tím pádem m není silné tajemství. Pokud však pravděpodobnostní šifrování byly použity, m by bylo silným tajemstvím. Náhodnost začleněna do šifrování algoritmus přinese různé šifry pro stejnou hodnotu m.

Viz také

Poznámky

  1. ^ Blanchet, B. (2004) Automatický důkaz silného utajení pro bezpečnostní protokoly. Ve sborníku z IEEE Symposium on Security and Privacy, str. 86-100. https://www.di.ens.fr/~blanchet/publications/BlanchetOakland04.html