Correct Symmetric Encryption Scheme

cryptography

Definition

Correct Symmetric Encryption Scheme

A symmetric encryption scheme $⟨\mathsf{Gen},\mathsf{Enc},\mathsf{Dec}⟩$ is called correct if for all keys $k\in \mathcal{K}$ and message $m\in \mathcal{M}$, the following property holds:

$$\mathsf{Dec}(k,\mathsf{Enc}(k,m))=m\forall k\in \mathcal{K},m\in \mathcal{M}$$