Ciencias Exactas y Ciencias de la Salud

Permanent URI for this collectionhttps://hdl.handle.net/11285/551014

Pertenecen a esta colección Tesis y Trabajos de grado de los Doctorados correspondientes a las Escuelas de Ingeniería y Ciencias así como a Medicina y Ciencias de la Salud.

Browse

Filters

20081

Settings

¡Quiero depositar mi trabajo!
Degree Level: search.filters.degreelevel.Doctor en Ciencias ComputacionalesProgram: search.filters.degreeprogram.Campus Monterrey

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Tesis de doctorado
    On the Automated Correction of Faulty Security Protocols
    (Instituto Tecnológico y de Estudios Superiores de Monterrey, 2008-01-04) López Pimentel, Juan Carlos.; LOPEZ PIMENTEL, JUAN CARLOS; 213096; Dr. Raúl Monroy Borja.; Dr. Dieter Hutter.; Dr. Guillermo Morales Lune.; Dr. Luis Angel Trejo Rodríguez.; Dr. Alberto Oliart Ros.
    Un Protocolo de Seguridad se usa para establecer una comunicación segura entre dos o más agentes a pesar de condiciones adversas. Crímenes tales como la usurpación de identidades o accesos no autorizados a la información han provocado incontables pérdidas económicas especialmente cuando se realizan transacciones electrónicas. Por ese motivo, la comunidad de los métodos formales ha puesto un interés especial en la verificación de protocolos de seguridad, produciéndose en los últimos años una gran cantidad de técnicas y herramientas.
En caso de no especificar algo distinto, estos materiales son compartidos bajo los siguientes términos: Atribución-No comercial-No derivadas CC BY-NC-ND http://www.creativecommons.mx/#licencias
logo

El usuario tiene la obligación de utilizar los servicios y contenidos proporcionados por la Universidad, en particular, los impresos y recursos electrónicos, de conformidad con la legislación vigente y los principios de buena fe y en general usos aceptados, sin contravenir con su realización el orden público, especialmente, en el caso en que, para el adecuado desempeño de su actividad, necesita reproducir, distribuir, comunicar y/o poner a disposición, fragmentos de obras impresas o susceptibles de estar en formato analógico o digital, ya sea en soporte papel o electrónico. Ley 23/2006, de 7 de julio, por la que se modifica el texto revisado de la Ley de Propiedad Intelectual, aprobado

DSpace software copyright © 2002-2025

Licencia