Skip to main content
3 events
when toggle format what by license comment
Apr 6, 2023 at 11:52 comment added Chris PS: There are notes where they define the variables like this. You can have a look if you wish: agag-ederc.math.rptu.de/~ederc/download/Cryptography.pdf (it is the Convention 4.7). In addiditon, we have to specify precisely what is the probability $\mathrm{Pr}(\mathsf{Enc}_K(m_1)=c) $; \begin{eqnarray*} \mathrm{Pr}(\mathsf{Enc}_K(m_1)=c) &=&\frac{|\{k \in \mathcal K : \mathsf{Enc}_k(m_1)=c \}|}{|\mathcal K|}. \end{eqnarray*} We use it to prove that one time pad is perfectly secure.
Apr 4, 2023 at 21:49 comment added Chris Thank you for your answer. Maybe I should say that my background is in maths, so I am curious to ask for a mathematically rigorous explanation. As you know, random variable is a function. So, we need to define explicitly what is its domain. So, as you don't understand my definitions, could you please answer how would you define these random variables?
Apr 4, 2023 at 21:40 history answered kodlu CC BY-SA 4.0