Cryptosystem

Typically, a cryptosystem consists of three algorithms: one for key generation, one for encryption, and one for decryption. The term cipher (sometimes cypher) is often used to refer to a pair of algorithms, one for encryption and one for decryption. Therefore, the term cryptosystem is most often used when the key generation algorithm is important. For this reason, the term cryptosystem is commonly used to refer to public key techniques; however both "cipher" and "cryptosystem" are used for symmetric key techniques.

Formal definition

Mathematically, a cryptosystem or encryption scheme can be defined as a tuple ${\displaystyle (\mathcal{P},\mathcal{C},\mathcal{K},\mathcal{E},\mathcal{D})}$ with the following properties.

1. ${\displaystyle \mathcal{P}}$ is a set called the "plaintext space". Its elements are called plaintexts.
2. ${\displaystyle \mathcal{C}}$ is a set called the "ciphertext space". Its elements are called ciphertexts.
3. ${\displaystyle \mathcal{K}}$ is a set called the "key space". Its elements are called keys.
4. ${\displaystyle \mathcal{E}=\{E_k:k\in \mathcal{K}\}}$ is a set of functions ${\displaystyle E_k:\mathcal{P}\to \mathcal{C}}$. Its elements are called "encryption functions".
5. ${\displaystyle \mathcal{D}=\{D_k:k\in \mathcal{K}\}}$ is a set of functions ${\displaystyle D_k:\mathcal{C}\to \mathcal{P}}$. Its elements are called "decryption functions".

For each ${\displaystyle e\in \mathcal{K}}$, there is ${\displaystyle d\in \mathcal{K}}$ such that ${\displaystyle D_d(E_e(p))=p}$ for all ${\displaystyle p\in \mathcal{P}}$.

Note; typically this definition is modified in order to distinguish an encryption scheme as being either a symmetric-key or public-key type of cryptosystem.