Unidad 4 / Escenario 8

Lectura fundamental

Criptografı́a visual basada en retı́culos

e imágenes naturales

Contenido

1 Introducción

2 Retı́culos

3 Esquemas de criptografı́a visual basados en retı́culos

4 Un problema matricial inducido por un si stema VSSS coloreado basado en

retı́culos

5 Conclusiones

Palabras clave: retículos, decodificación, colores, problemas matriciales, decodificación

1. Introducción

La criptografı́a visual es un tipo de criptografı́a en la que el proceso de decodificación solo requiere del sistema de
visión humano. La idea de este tipo de criptografı́a fue introducida por Naor y Shamir en 1994.

Naor y Shamir (Naor et al, 1994) analizaron sistemas de criptografı́a visual con umbral (k, n) (TVS), en los que la
imagen secreta solo se revela si y solo si k transparencias del total de n son apiladas. Poco después, Blundo, Droste,
Klein y sus colabradores generalizaron estos esquemas. En particular, Nakajima y sus colaboradores (ver, Nakajima
et al, 2002) experimentó el uso de imágenes naturales en esquemas de criptografı́a visual. En este caso, las sombras
son imágenes naturales pero el algoritmo definido emplea la idea original de Naor y Shamir.

Figura 1. Ejemplo de un esquema de criptografı́a visual (2, 2) de Nakajima. En este caso, las imágenes del perro y la
piramide son usados para encriptar la imagen del gato.
Fuente: extraído de Cañadas et al, 2017.

1
In 1998 Koga y Yamamoto (ver, Koga et al, 1998) propusieron esquemas de criptografı́a visual basados en retı́culos
para usar en este tipo de esquemas imágenes a color. En este tipo de esquemas, los pixeles de las imágenes son
tratados como elementos de un retı́culo conveniente S y el proceso de apilamiento es definido como una operación
entre los elementos del retı́culo, de forma tal que las leyes conmutativas y de asociación permiten descifrar k sombras
apilándolas en forma arbitraria.

Recientemente en 2017 el autor y sus colaboradores (ver, Cañadas et al, 2017) generalizaron la idea de Nakajima y
sus colaboradores, usando el concepto de representación matricial de un conjunto parcialmente ordenado para cifrar
imágenes a color.

2. Retı́culos

Un conjunto parcialmente ordenado o conjunto ordenado es una pareja de la forma (P, ≤) en donde P es un
conjunto arbitrario y ≤ es una relación de orden definida sobre P. En el caso que a cada pareja de puntos x, y ∈ P
tenga un ı́nfimo i (esto es, i ≤ x y i ≤ y) y un supremo s (esto es, x ≤ s y y ≤ s) entonces se dice que P es un
retı́culo.

Los conjuntos ordenados cuyos elementos son dos a dos comparables se llaman cadenas, por otro lado, los conjuntos
ordenados cuyos elementos son dos a dos incomparables se llaman anticadenas.

Generalmente, los conjuntos parcialmente ordenados finitos se representan con un diagrama de Hasse que consta de
círculos para denotar los puntos del conjunto y de aristas que conectan dos puntos arbitrarios x, y de P si x ≤ y. El
siguiente es un ejemplo de un diagrama de Hasse, representando el retı́culo cuyos puntos están asociados a los
colores, blanco (0), amarillo, azul, verde y negro (azul y amarillo son incomparables en el diagrama).

1
t

t G
@
@
C t @t
Y
@
@
@d
0
Figura 2. Ejemplo de un retı́culo asociado a los colores, blanco, azul, amarillo y negro.
Fuente: elaboración propia

2
2.1. Representación matricial

A un conjunto parcialmente ordenado P se le puede asociar un sistema de espacios vectoriales o representación

lineal de la forma:

U = (U0 , Ux | x ∈ P) (1)

Donde U0 es un espacio vectorial de dimensión finita y para cada x ∈ P, Ux denota un subespacio de U0 , tal que
Ux ⊆ Uy si x ≤ y. Cada representación de un conjunto parcialmente ordenado puede ser presentada matricialmente,
en este caso, la matriz es separada en franjas verticales, una por cada punto x ∈ P cuyas columnas constan de
generadores del espacio Ux , se dice además que dos presentaciones matriciales B y B 0 de un mismo conjunto
ordenado P son equivalentes si y solo si una se obtiene de la otra por medio de las siguientes transformaciones
admisibles.

(a) Transformaciones arbitrarias de filas.

(b) Transformaciones arbitrarias de columnas en cada franja vertical.

(c) Adiciones de las columnas de la franja Mx a la franja My si x ≤ y.

La suma directa de presentaciones matriciales está dada por la fórmula:

.. ..
A1 . 0 ... At . 0
A ⊕ A0 = .. ..
0 . A01 ... 0 . A0t

3. Esquemas de criptografı́a visual basados en retículos

En esta sección se hace una breve descripción de la definición de esquemas de criptografı́a visual en el sentido de
Koga y Yamamoto (Koga et al, 1998):

Sea m > 0 y L un retı́culo finito de colores que pueda ser realizado físicamente. Suponga que C = {c1, c2, . . . , cJ } es un
subconjunto de elementos en L, el cual no es necesariamente un subretı́culo de L. Para todo q satisfaciendo la
condición 1 ≤ q ≤ k y distintos i1, i2, . . . , iq ⊆ {1, 2, . . . , n} se define la función h(i1,i2,...,iq ) : (Lm)n → Lm de forma tal
que:

h(i1 ,i2 ,...,iq ) (x) = xi1 ∨ xi2 · · · ∨ xiq (2)

donde x = (x1 , x2 , . . . , xn ) ∈ (Lm )n . El sistema (Xcj , Ycj )1≤j≤J es el esquema de criptografı́a visual (k, n) (VSSS)
con colores en C. En este caso,

3
 1. Para todo j = 1, 2, . . . J y distintos {i1 , i2 , . . . , ik } ⊆ {1, 2, . . . , n} y todo x ∈ Xcj se satisfacen las siguientes
condiciones:

h(i1 ,i2 ,...,ik ) (x) ∈ Ycj .

2. Para todo q < k and {i1 , i2 , . . . , ik } ⊂ {1, 2, . . . , n} se define

(i ,i2 ,...,iq )
Xcj 1 = {(xi1 , xi2 , . . . , xiq ) : (x1 , x2 , . . . , xn ) ∈ Xcj }.

(i ,i ,...,i )
Luego Xcj 1 2 q , j = 1, 2, . . . , J son indistinguibles en el sentido que contienen los mismos elementos con
las mismas frecuencias.

3. Para todo cj ∈ C satisfaciendo cj 6= 1 ∈ L todos los elementos en Ycj constan de 1’s y al menos un cj . En el
caso que cj = 1, Ycj tendrá solo un elemento compuesto por m 1’s.

4. Un problema matricial inducido por un sistema VSSS coloreado

basado en retículos

En esta sección se describen algunos resultados obtenidos recientemente por el autor y sus colaboradores, que
permiten interpretar el esquema de Koga y Yamamoto como un problema matricial, lo cual lo hace más accesible y
fácil de entender.

Para empezar, consideremos representaciones matriciales (d, A) de un retı́culo L inducido por un número finito de
colores. En este caso, dado un sistema VSSS del tipo (k, n) se tiene que A ∈ Ld0 ×d con d0 = m es la expansión del
pixel, di = dj = n para todo i, j ∈ L es el número de participantes y k es el número de participantes calificados.
En otras palabras, cada franja vertical consta de n generadores (del correspondiente módulo Ucj para cada color
cj ∈ L) con k < n columnas linealmente independientes.

Una representación matricial coloreada de L es una matriz rectangular m × d separada por franjas verticales con el
mismo número c de columnas. En este caso, las columnas en cada franja vertical Mx son indistinguibles (tienen el
mismo número de elementos apareciendo con la misma frecuencia) y constituyen una composición (una partición
en la que el orden de las partes importa) de un vector dador Fx ∈ Lm para todo x ∈ C.

Para {x1 , x2 , . . . , xj } = C, las presentaciones matriciales M and M 0 son representaciones matriciales coloreadas
con vectores asociados Fx1 · · · Fxt and Fx0 1 · · · Fx0 t respectivamente entonces M y M 0 son equivalentes si y solo si
existe una permutación π ∈ Sm tal que
π(1) π(m)
Fx0 j = (xj , · · · xj ) si Fxj = (x1j , · · · xm
j )

para cada elección xj ∈ L.

4
Figura 3. Ejemplo de una encripción coloreada del t ipo ( 2, 2) basada en r etı́culos. En este caso, s e muestran dos
sombras coloreadas y el r etı́culo de 8 colores usados para cifrar l a i magen de Bart.

Fuente: extraído de Cañadas et al, 2017.

Los r esultados s iguientes establecen l a existencia de presentaciones matriciales en l as que l as columnas en cada
franja vertical Mx constituyen composiciones de vectores fijos Fx.
Teorema 4.1. Si x ∈ C and Fx consta def k1 10s y kx x0s con k1 +kx = mentonces existen n vectores i ndistinguibles
n
gx1 , . . . , gxn tales que F (x) = gxi .
P
i=1

El siguiente resultado permite definir transformaciones admisibles que garantizan la existencia de representaciones
coloreadas equivalentes y la existencia de esquemas de VSSS del tipo (k, n).
Teorema 4.2. Sean M y M 0 dos representaciones matriciales de un retı́culo L entonces M y M 0 son equivalentes
si M y M 0 puede transformarse la una en la otra con la ayuda de las siguientes transformaciones:

(a.) permutaciones de todas las filas de la matriz.

(b.) permutaciones de columnas de cada franja vertical.
(c.) multiplicación de una columna dada j in la franja Mx por un escalar z ∈ (λxj )O , donde λxj es el máximo de
todas las entradas en tal columna.
(d.) adición de una columna j-ésima en la franja Mx a la j-ésima columna en la franja My con coeficientes en
(δjy )M , donde δjy es el mı́nimo de todas las entradas en la columna de My . Si x ≤ y en L.

Se observa que una estructura de criptografı́a visual de la forma (ΓiQual, ΓiForb) puede ser interpretada como una
representación indescomponible coloreada. (Ver, Figura 4).

0 Y C G 1
1 0 0 Y Y C C G G 1 1
t
1 0 G 1 Y 1 G 1 1 1
t G 0 1 1 G 1 Y 1 G 1 1
@
@ 0 0 Y Y C C G G 1 1
C t @t
Y
@
@ Y C G
@d 1 1 1
0 1 1 1
Y C G
FY FC FG

Figura 4. Ejemplo de una representación matricial inducida por un esquema VSSS del tipo (2,2) basado en retı́culos.
Fuente: elaboración propia
5
5. Conclusiones

1. Los esquemas de criptografı́a visual basados en colores se construyen a partir de sus propiedades reticulares.

2. Tales esquemas inducen problemas matriciales que permiten construirlos de manera eficiente.

Referencias

[1] A. M. Cañadas and N. P. P. Vanegas, Extended Visual Cryptography Scheme with an Artificial Cocktail Party Effect, IEEE Digital
Library (2011). DOI: 10.1049/ic.2011.0114.
[2] A. M. Cañadas, N. P. P. Vanegas, and M. H. Quitian, Visual cryptography schemes based in k-linear maps, IEEE Digital Library
(2011). DOI: 10.1049/ic.2011.0114.
[3] A. M. Cañadas, N. P. P. Vanegas, and M.H. Quitian, Visual cryptography schemes based in k-linear maps, LNCS; Springer-Verlag
8389 (2014), 288-302. DOI: 10.1007/978-3-662-43886-2 21.
[4] A. M. Cañadas, R.J. Serna, and H. Giraldo, Matrix problems induced by visual cryptography schemes, FMJS 106 (2017), no. 6,
1223-1241.
[5] S. Cimato and C.N. Yang, Visual Cryptography and Secrete Image Sharing, CRC Press, 2012.
[6] A. Uhl and A. Pommer, Image And Video Encryption From Digital Rights Management To Secured Personal Communication,
Springer, 2005.
[7] H. Koga and H. Yamamoto, Proposal of a lattice-based visual secret sharing scheme for color and gray scale images, IEICE Trans.
Fundamentals E 81-A (1998), no. 6, 1262–1269.
[8] M. Nakajima and Y. Yamaguchi, Extended Visual Cryptography for Natural Images, WSCG 10 (2002), no. 2, 303–310.
[9] M. Naor and A. Shamir, Visual Cryptography, Advances in Cryptology Eurocrypt’94. Lecture Notes in Computer Science 950
(1995), 1–12.

6
INFORMACIÓN TÉCNICA

Módulo: Criptografı́a I
Unidad 4: Criptografı́a Visual
Escenario 8: Criptografía visual basada en retículos e
imágenes naturales

Autor: PhD Msc Agustín Moreno Cañadas

Asesor Pedagógico: Manuel Fernando Guevara

Diseñador Gráfico: Diego Alejandro Torres Suancha
Asistente: Daniela Mejía Ulloa

Este material pertenece al Politécnico

Grancolombiano. Por ende, son de uso exclusivo de las
Instituciones adscritas a la Red Ilumno. Prohibida su
reproducción total o parcial.