Description formelle

$n = pq$; $(p,q) \in \{premiers\}$; $p<q$

$\EuScript{P}=\EuScript{A}=\frac{\mathbb{Z}}{n\mathbb{Z}}$

$\EuScript{K}=\{(n,p,q,a,b) \; \vert \; n=pq, \; ab \equiv 1 \; mod \; (\varphi(n))\}$

Public : [$n,b$]

Privé : [$p,q,a$]

Soit $x \in \EuScript{P}, \; K=(n,p,q,a,b) \in \EuScript{K}$ alors :

$sig_k(x) \equiv x^{a} \; mod \; (n)$

$ver_k(x,y) = 1 \Leftrightarrow x \equiv y^{b} \; mod \; (n)$