On the Automated Correction of Faulty Security Protocols

Simple item page
dc.audience.educationlevelInvestigadores/Researchers
dc.contributor.advisorDr. Raúl Monroy Borja.
dc.contributor.authorLópez Pimentel, Juan Carlos.
dc.contributor.committeememberDr. Dieter Hutter.es
dc.contributor.committeememberDr. Guillermo Morales Lune.es
dc.contributor.committeememberDr. Luis Angel Trejo Rodríguez.es
dc.contributor.committeememberDr. Alberto Oliart Ros.es
dc.creatorLOPEZ PIMENTEL, JUAN CARLOS; 213096es_MX
dc.date.accessioned2015-08-17T11:33:37Zen
dc.date.available2015-08-17T11:33:37Zen
dc.date.issued2008-01-04
dc.description.abstractUn 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.
dc.format.mediumTextoes_MX
dc.identificator7
dc.identificator33
dc.identificator3304
dc.identificator120317
dc.identifier.urihttp://hdl.handle.net/11285/572492en
dc.language.isoeng
dc.publisherInstituto Tecnológico y de Estudios Superiores de Monterrey
dc.relation.isFormatOfversión publicadaes_MX
dc.relation.isreferencedbyREPOSITORIO NACIONAL CONACYT
dc.rightsopenAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0*
dc.subject.classificationINGENIERÍA Y TECNOLOGÍA; CIENCIAS TECNOLÓGICAS; TECNOLOGÍA DE LOS ORDENADORES; INFORMÁTICAes_MX
dc.subject.keywordCorreciones
dc.subject.keywordPotocolos
dc.subject.keywordSeguridad
dc.subject.lcshTecnología / Technology
dc.subject.lcshTheory and practice of education--Higher education—Preparation of theseses_MX
dc.titleOn the Automated Correction of Faulty Security Protocols
dc.typeTesis de doctorado
refterms.dateFOA2018-03-19T17:55:10Z
refterms.dateFOA2018-03-19T17:55:10Z
thesis.degree.disciplineEscuela de Graduados en Informática y Computaciónes
thesis.degree.levelDoctor en Ciencias Computacionaleses
thesis.degree.namePrograma de Graduados en Informática y Computaciónes
thesis.degree.programCampus Monterreyes

Files

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
DocsTec_7105.pdf
Size:
5.45 MB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
DocsTec_7105_1.pdf
Size:
35.67 KB
Format:
Adobe Portable Document Format
Request a copy

Collections

Ciencias Exactas y Ciencias de la Salud
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