Să luăm în considerare această definiție a indistingabilității computaționale.
Indistincbilitatea computațională. Un ansamblu de probabilitate $X=\{X(a, n)\}_{a \in\{0,1\}^{*} ; n \in \mathbb{N}}$ este o succesiune infinită de variabile aleatoare indexate de $a \in\{0,1\}^{*}$ și $n \în \mathbb{N}$. În contextul calculului securizat, valoarea $a$ va reprezenta intrările părţilor şi $n$ va reprezenta parametrul de securitate. Două ansambluri de probabilitate $X=\{X(a, n)\}_{a \in\{0,1\}^{*} ; n \in \mathbb{N}}$ și $Y=\{Y(a, n)\}_{a \in\{0,1\}^{*} ; n \in \mathbb{N}}$ se spune că nu se pot distinge din punct de vedere computațional, notate cu $X \stackrel{c}{\equiv} Y$, dacă pentru fiecare algoritm de timp polinomial neuniform $D$ există o funcție neglijabilă $\mu(\cdot)$ astfel încât pentru fiecare $a \in\{0,1\}^{*}$ si fiecare $n \în \mathbb{N}$,
$$
|\operatorname{Pr}[D(X(a, n))=1]-\operatorname{Pr}[D(Y(a, n))=1]| \leq \mu(n)
$$
Din intelesul meu $D$ este algoritmul distinctiv, de ex. adversarul în dovezile de securitate. O instanță a variabilei aleatoare $X(a,n)$ este considerat algoritm de criptare. Cu toate acestea, din înțelegerea mea, doar rezultatul algoritmului de criptare, de ex. textul cifrat, este transmis la $D$. Pentru persoanele care provin din mediul matematic, acest lucru este puțin confuz, deoarece variabila aleatoare este o funcție $X:Ω \rightarrow Î$ Unde $Ω$ este Ï-algebra spaţiului evenimentelor şi $E$ este un spațiu măsurabil.
Mă poate ajuta cineva să clarific notația și definiția care este folosită?
Mulțumesc anticipat.
