| 12 | | |
| 13 | | * [wiki:conceptualizacion Conceptualización] |
| 14 | | |
| 15 | | * [wiki:minutas Minutas] |
| 16 | | |
| 17 | | * [wiki:articulosDeReferencia Algunos artículos de referencia] |
| 18 | | |
| 19 | | |
| 20 | | Algoritmo de generación de claves criptográficas |
| 21 | | |
| 22 | | [https://tibisay.cenditel.gob.ve/comparacioncriptosistemas/wiki/algoritmos] |
| 23 | | |
| 24 | | Que además tiene un adjunto donde se explican ejemplos concretos de aplicación del mismo. Puede descargarse aquí: |
| 25 | | |
| 26 | | [https://tibisay.cenditel.gob.ve/comparacioncriptosistemas/attachment/wiki/algoritmos/generacion_claves.pdf] |
| 27 | | |
| 28 | | |
| 29 | | * [wiki:algoritmos Algoritmos] |
| 30 | | |
| 31 | | En la sección Hojear Fuentes se puede tener acceso al software de la implementación actual: |
| 32 | | |
| 33 | | [https://tibisay.cenditel.gob.ve/comparacioncriptosistemas/browser/comparacioncriptosistemas] |
| 34 | | |
| 35 | | |
| 36 | | Entre las ''dificultades u obstáculos'' que ha tenido el proyecto para avanzar ha sido la casi total ausencia de trabajos previos en esta área. Se necesita implementar operaciones matemáticas basadas en polinomios, pero no cualesquiera, deben ser polinomios de varias variables y cuyos coeficientes pertenezcan a una estructura matemática conocida como Campo Finito, o Campo de Galois GF(p), donde p algún número primo. |
| 37 | | |
| 38 | | La especificidad del requerimiento hace necesario que se profundice en las implicaciones matemáticas que conlleva estudiar dichas estructuras y además realizar el proceso de programación de las funcionalidades desde cero, ya que no se cuenta con implementaciones conocidas por el equipo. |
| 39 | | |
| 40 | | |
| 41 | | Desde el equipo encontramos una serie de programas que realizan algunas de las operaciones que necesitamos pero, algunos no son de código abierto y otras no tienen un fácil acceso al requerimiento nuestro. Incluso la mayoría no cumple con el nivel de especificidad que requerimos. Por lo que el proceso de adaptación pudiera ser incluso más engorroso que simplemente implementar nosotros todo el procedimiento. |
| 42 | | |
| 43 | | Entre los programas que encontramos se encuentran: |
| 44 | | |
| 45 | | Givaro: |
| 46 | | [http://ljk.imag.fr/CASYS/LOGICIELS/givaro/] |
| 47 | | Es una librería en C++ para aritmética y cálculos algebraicos. Tiene operaciones sobre un campo de Galois, pero no tiene implementados los polinomios sobre dicha estructura. |
| 48 | | |
| 49 | | Fermat: |
| 50 | | [https://home.bway.net/lewis/] |
| 51 | | No nos da acceso a las librerías. Aunque el programa realiza operaciones parecidas a las que necesitamos, tampoco están basadas en el Campo de Galois. |
| 52 | | |
| 53 | | KANT |
| 54 | | [http://page.math.tu-berlin.de/~kant/] |
| 55 | | Este es un grupo de investigación que desarrolló una interfaz gráfica llamada GiANT que soporta operaciones algebraicas sofisticadas similares a las de nuestro interés. Pero tampoco tenemos fácil acceso a las librerías. |
| 56 | | |
| 57 | | LiDIA |
| 58 | | [https://orms.mfo.de/project?terms=finite+fields+linear+algebra&id=284] |
| 59 | | Una librería en C++ para teoría de números computacionales, pero aquí las operaciones son con polinomios sobre números racionales. Los que necesitamos son más específicos: sobre campos finitos. |
| 60 | | |
| 61 | | Y además: |
| 62 | | SAGE |
| 63 | | [http://www.sagemath.org/] |
| 64 | | |
| 65 | | Singular |
| 66 | | [http://www.singular.uni-kl.de/] |
| 67 | | |
| 68 | | SYNAPS |
| 69 | | [http://www-sop.inria.fr/galaad/logiciels/synaps/] |
| 70 | | |
| 71 | | MAGMA |
| 72 | | [http://magma.maths.usyd.edu.au/magma/] |
| 73 | | |
| 74 | | Maple |
| 75 | | [http://www.maplesoft.com/] |
| 76 | | |
| 77 | | Particularmente Maple es uno de los que son Software privativo. |
| | 10 | == Proyecto Interfaz del Criptosistema de Variedades Algebraicas == |
