# Perfect Secrecy, two Definitions

I'm reading the proof of the implication "Def 2.1 $\Rightarrow$ Def 2.4" in these slides about Adversarial Indistinguishability and Perfectly-Secret Encryption. I have a doubt in the slide 10. Here it says:

Construct an adversary $A$ who outputs $m_0$, $m_1$ in the ﬁrst step of $\mathsf{PRIV_{EAV}}(\Pi,A,n)$. Then if $A$ receives any ciphertext $c' \neq \tilde{c}$ it outputs a random bit $b_0$; if it receives the ciphertext $\tilde{c}$, it outputs $b_0 = 0$.

How is $A$ able to "receive any ciphertext $c'$". Perhaps the adversary not receives only the ciphertext $Enc(m_b)$?

-
Why I have vote -1? – juaninf May 20 '13 at 13:52

The adversary $\mathcal A$ is an entity (think of a computer program) designed to participate in the experiment $\operatorname{PrivK}^{\text{eav}}_{A,\Pi}$.

So the adversary produces two messages, then is given the encryption of one of them, and has to guess which one it was.

Of course, you can give the adversary other "ciphertexts" too, but this wouldn't be the same experiment, and the results of this thus don't matter for the experiment (they might be interesting in other experiments, though).

The proof does only have to consider the behavior of the adversary in the experiment, not in other cases.

-
understand, I found here cs.stevens.edu/~nicolosi/classes/13sp-cs579/scribing-11sp/… (in the last page) other proof for the same implication I cann't understand Why $$Pr[\mathsf{PRIV_{EAV}}(\Pi,A,n)=1] = \dfrac{1}{2}$Pr[A(c)=B|B=0] + Pr[A(c)=B|B=1]$ = \dfrac{1}{2}$Pr[A(c)=0|B=0] + \dfrac{1}{2}Pr[A(c)=1|B=1]$$$ – juaninf May 20 '13 at 13:52

This is part of how the notion of security is defined. In the definition, the adversary is an algorithm that produces a pair of messages, and then gets back (in return) a ciphertext. The adversary is then supposed to do something (predict whether the ciphertext is the encryption of the first message or the second message), but that's not relevant -- what is relevant is that this algorithm receives a ciphertext from its oracle immediately after selecting a pair of messages.