Show simple item record

On the Automated Correction of Faulty Security Protocols

dc.contributor.advisorDr. Raúl Monroy Borja.
dc.contributor.authorLópez Pimentel, Juan Carlos.
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.identifier.urihttp://hdl.handle.net/11285/572492en
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.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.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 Doctorado / doctoral Thesis
thesis.degree.levelDoctor en Ciencias Computacionaleses
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
thesis.degree.disciplineEscuela de Graduados en Informática y Computaciónes
thesis.degree.namePrograma de Graduados en Informática y Computaciónes
dc.subject.keywordCorreciones
dc.subject.keywordPotocolos
dc.subject.keywordSeguridad
thesis.degree.programCampus Monterreyes
dc.audience.educationlevelInvestigadores/Researchers
refterms.dateFOA2018-03-19T17:55:10Z
refterms.dateFOA2018-03-19T17:55:10Z
dc.identificator7
dc.identificator33
dc.identificator3304
dc.identificator120317


Files in this item

Thumbnail
Name:
DocsTec_7105.pdf
Size:
5.451Mb
Format:
PDF
View/Open
Thumbnail
Name:
DocsTec_7105_1.pdf
Size:
35.67Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

openAccess
Except where otherwise noted, this item's license is described as openAccess