Cifrado funcional

El cifrado funcional ( FE ) es una generalización del cifrado de clave pública en la que poseer una clave secreta permite conocer una función de lo que el texto cifrado está cifrando.

Más precisamente, un esquema de cifrado funcional para una funcionalidad dada consta de los siguientes cuatro algoritmos: ${\estilo de visualización f}$

• ${\displaystyle ({\text{pk}},{\text{msk}})\leftarrow {\textsf {Configuración}}(1^{\lambda })}$: crea una clave pública y una clave secreta maestra .${\displaystyle {\text{pk}}}$${\displaystyle {\text{msk}}}$
• ${\displaystyle {\text{sk}}\leftarrow {\textsf {Keygen}}({\text{msk}},f)}$: utiliza la clave secreta maestra para generar una nueva clave secreta para la función .${\displaystyle {\text{sk}}}$${\estilo de visualización f}$
• ${\displaystyle c\leftarrow {\textsf {Enc}}({\text{pk}},x)}$: utiliza la clave pública para cifrar un mensaje .${\estilo de visualización x}$
• ${\displaystyle y\leftarrow {\textsf {Dec}}({\text{sk}},c)}$: utiliza la clave secreta para calcular dónde está el valor que se cifra.${\displaystyle y=f(x)}$${\displaystyle x}$${\displaystyle c}$

La seguridad de FE requiere que cualquier información que un adversario obtenga de un cifrado de sea revelada por . Formalmente, esto se define por simulación. ^[1]${\displaystyle x}$${\displaystyle f(x)}$

El cifrado funcional generaliza varios primitivos existentes, incluidos el cifrado basado en identidad (IBE) y el cifrado basado en atributos (ABE). En el caso de IBE, defina que sea igual a cuando corresponda a una identidad que tenga permiso para descifrar y, en caso contrario, defina que sea igual a cuando se codifiquen atributos con ... ${\displaystyle F(k,x)}$${\displaystyle x}$${\displaystyle k}$${\displaystyle \perp }$${\displaystyle F(k,x)=x}$${\displaystyle k}$${\displaystyle \perp }$

El cifrado funcional fue propuesto por Amit Sahai y Brent Waters en 2005 ^[2] y formalizado por Dan Boneh , Amit Sahai y Brent Waters en 2010. ^[3] Sin embargo, hasta hace poco, la mayoría de las instancias de cifrado funcional solo admitían clases de funciones limitadas, como fórmulas booleanas. En 2012, varios investigadores desarrollaron esquemas de cifrado funcional que admiten funciones arbitrarias. ^{[1] [4] [5] [6]}