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
Search Results
- Detection and Defense Mechanism against Security Attacks in Reconfigurable Networks: Network Coding Approach(Instituto Tecnológico y de Estudios Superiores de Monterrey, 2008-01-12) Villalpando Hernández, Rafaela; Villalpando Hernandez, Rafaela; 213090; Dr. César Vargas Rosales; Dr. David Muñoz Rodríguez; Dr. Carlos Mex PerreraThis document is a research work of a Doctorate in Information Technology and Communications of ITESM, in the field of examination environment, network coding applied to securing wireless reconfigurable networks under some physical impairments from severa
- 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.