Verifiable Identity-based Encryption

Modèle:Lang (VIBE) est un chiffrement basé sur l'identité développé et breveté (aux États Unis, en Europe et en Chine) par la société VIBE Cybersecurity International LLC. Ce chiffrement est une version amélioréeModèle:En quoi de celui de Boneh et Franklin, qui utilise une application bilinéaire nommée optimal ATE pairing agissant sur des courbes elliptiques. Ce type d'application a été analysé par l'organisme de standardisation américain NIST.

L'algorithme de VIBE (décrit dans le brevet) permet de vérifier rapidement la cohérence entre les paramètres publics et une clé secrète, augmentant la confiance entre les utilisateurs et les administrateurs du systèmeModèle:Pas clair. De plus, VIBE permet une authentification de l'envoyeur du message pour un coût de communication négligeableModèle:Référence nécessaire.

VIBE en particulier a été analysé par le maitre de conférences de l'Université de Limoges Olivier Blazy. Ce dernier y rédige sa propre preuve de sécurité, il explique aussi que le schéma VIBE possède des avantages indéniables : il est prouvé sûr, les chiffrés sont courts, le nombre de calculs lourds est réduit et la propriété intrinsèque de vérifiabilité augmente la confiance envers tous les acteurs du systèmeModèle:Source secondaire nécessaire.

Description du protocole

Setup

L'administrateur des clés du système (appelé Trusted Centre TC d'identité ${\mathsf{\text{Id}}}_{TC}$), choisi une application bilinéaire et trois groupes sur une courbe elliptique compatible avec cette application (respectivement $e,{𝒢}_1,{𝒢}_2,{𝒢}_T$). Il choisit ensuite aléatoirement un entier $s\in {𝒵}_p^{*}$ et fixe sa clé maître secrète: $\mathsf{\text{msk}}=s$ ($p$ étant le cardinal du plus petit groupe choisi sur la courbe: ${𝒢}_1$).

4 fonctions de hachage sont choisies en vérifiant les conditions suivantes :

• ${\mathscr{H}}_1$ (respectivement ${\mathscr{H}}_2$) prend en entrée une chaîne binaire de taille arbitraire et retourne un élément du groupe ${𝒢}_1$ (respectivement ${𝒢}_2$).
• ${\mathscr{H}}_3$ prend en entrée une chaîne binaire de taille arbitraire et retourne un élément de ${𝒵}_p^{*}$.
• ${\mathscr{H}}^{\prime }$ prend en entrée un élément de ${𝒢}_T$ et retourne une chaîne binaire (cette dernière fonction de hachage peut être implémentée par SHA3 par exemple).

L'élément publique $Pub$ est calculée comme suit :

• $Pub=s\cdot {\mathscr{H}}_1({\mathsf{\text{id}}}_{TC})$

Les paramètres publics sont ensuite publiés : $\mathsf{\text{mpk}}=({𝒢}_1,{𝒢}_2,{𝒢}_T,{\mathscr{H}}_1,{\mathscr{H}}_2,{\mathscr{H}}_3,{\mathscr{H}}^{\prime },e,Pub)$

Extraction

La clé publique d'un utilisateur est son identité $\mathsf{\text{id}}$, sa clé privée est calculée comme suit :

$\mathsf{\text{usk}}[\mathsf{\text{id}}]=(\mathsf{\text{usk}}[\mathsf{\text{id}}{]}_1,\mathsf{\text{usk}}[\mathsf{\text{id}}{]}_2)=(s^{-1}\cdot {\mathscr{H}}_1(\mathsf{\text{id}}),s^{-1}\cdot {\mathscr{H}}_2(\mathsf{\text{id}}))$

Vérification des Paramètres Publics

La vérification rapide de la cohérence entre les paramètres publics et une clé secrète se fait en vérifiant l'égalité suivante :

$e(Pub,𝗎𝗌𝗄[𝗂𝖽{]}_2)==e({\mathscr{H}}_1({𝗂𝖽}_{TC}),{\mathscr{H}}_2(𝗂𝖽))$

Chiffrement

Le message $M$ pour le receveur d'identité ${𝗂𝖽}_R$ est chiffré en $𝖢=(U,V,Y)$ par l'envoyeur d'identité ${𝗂𝖽}_S$ en calculant les valeurs suivantes :

$r\leftarrow {\mathscr{H}}_3(M)$

$U=M\oplus {\mathscr{H}}^{\prime }(e({\mathscr{H}}_1({𝗂𝖽}_{TC}),{\mathscr{H}}_2({𝗂𝖽}_R){)}^r)$

$V=r\cdot Pub$

$Y={\mathscr{H}}^{\prime }(e({\mathscr{H}}_1({𝗂𝖽}_R),𝗎𝗌𝗄[{𝗂𝖽}_S{]}_2{)}^r)$

$Y$ est la valeur qui sert au receveur à authentifier l'envoyeur du message.

Déchiffrement

Le message chiffré $𝖢=(U,V,Y)$ est déchiffré en un message clair $M$ par le receveur en calculant :

$M=U\oplus {\mathscr{H}}^{\prime }(e(V,𝗎𝗌𝗄[{𝗂𝖽}_R{]}_2))$

$r\leftarrow {\mathscr{H}}_3(M)$

L'authentification se fait en vérifiant l'égalité suivante : $Y=={\mathscr{H}}^{\prime }(e(𝗎𝗌𝗄[{𝗂𝖽}_R{]}_1,{\mathscr{H}}_2({𝗂𝖽}_S){)}^r)$

Sécurité

La sécurité du chiffrement basé sur l'identité VIBE repose sur une hypothèse classiqueModèle:En quoi de sécurité cryptographique proche du Problème Calculatoire de Diffie-HellmanModèle:Référence nécessaire. Ce problèmeModèle:En quoi se situe dans un contexte asymétrique, ce qui améliore la rapidité des algorithmes et la taille des objets mathématiques à manipulerModèle:Pas clair.