Estadísticas del PDF: Diseño de un compilador para protocolos criptográficos

Centro de Investigación y de Estudios Avanzados

del Instituto Politécnico Nacional

Unidad Zacatenco

Departamento de Computación

Diseño de un compilador para

protocolos criptográcos

Tesis que presenta:

Rogelio Vargas Márquez

Para obtener el grado de:

Maestro en Ciencias

en Computación

Director de la Tesis:

Dr. Francisco Rodríguez Henríquez

México, D. F.

Diciembre, 2013

© Derechos reservados por

Rogelio Vargas Márquez

2013

Agradecimientos

En primer lugar quiero decir que p...