Définition

Une signature électronique est un quintuplet $\EuScript{S}$ = $\{\EuScript{P,A,K,S,V}\}$ avec :

• $\EuScript{P}$ : ensemble fini de messages
• $\EuScript{A}$ : ensemble fini de signatures
• $\EuScript{K}$ : ensemble fini de clés
  

Tel que :

$\forall K\in \EuScript{K},\; \exists \; sig_{K} \in \EuScript{S},\; \exists \; ver_{K} \in \EuScript{V}$

$sig_{K} : \EuScript{P} \rightarrow \EuScript{A}$

$ver_{K} : \EuScript{P},\EuScript{A} \rightarrow \{0,1\}$

$\forall x \in \EuScript{P}, \; \forall y \in \EuScript{A}, \; ver_{K}(x,y) = 1 \Leftrightarrow y = sig_{K}(x).$

Les signatures utilisent les algorithmes de chiffrement asymétriques (à clé publique).