{"id":36931,"date":"1998-01-01T00:00:00","date_gmt":"1998-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/un-modelo-formal-para-la-especificacion-analisis-verificacion-e-implantacion-de-protocolos-de-seguridad\/"},"modified":"1998-01-01T00:00:00","modified_gmt":"1998-01-01T00:00:00","slug":"un-modelo-formal-para-la-especificacion-analisis-verificacion-e-implantacion-de-protocolos-de-seguridad","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/un-modelo-formal-para-la-especificacion-analisis-verificacion-e-implantacion-de-protocolos-de-seguridad\/","title":{"rendered":"Un modelo formal para la especificacion, analisis, verificacion e implantacion de protocolos de seguridad."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Luis Mengual Galan <\/strong><\/h2>\n<p>En este trabajo, se ha concebido y desarrollado un sistema que permite la automatizaci\u00f3n del proceso de verificaci\u00f3n, an\u00e1lisis e implementaci\u00f3n de protocolos de seguridad a partir de una especificaci\u00f3n formal y con ello, la versatilidad en la incorporaci\u00f3n de distintos servicios de seguridad en un entorno distribuido. Una notable innovaci\u00f3n de este trabajo es la automatizaci\u00f3n del proceso de implementaci\u00f3n de protocolos de seguridad a partir de una especificaci\u00f3n formal: definido el servicio de seguridad requerido, y especificado el protocolo de seguridad asociado, el sistema es capaz de generar de manera autom\u00e1tica una implementaci\u00f3n real (prototipo). Todo ello ha sido realizado a partir de una nueva filosof\u00eda de implementaci\u00f3n que hemos denominado interpretaci\u00f3n autom\u00e1tica de protocolos.  el sistema se ha concebido como un entorno de pruebas que sirva de base para el an\u00e1lisis y evaluaci\u00f3n de ataques reales a un protocolo de seguridad. Asimismo, el sistema se ha desarrollado con el objetivo de que pueda ser la base para derivar un producto final con la incorporaci\u00f3n expl\u00edcita de funciones de seguridad.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Un modelo formal para la especificacion, analisis, verificacion e implantacion de protocolos de seguridad.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Un modelo formal para la especificacion, analisis, verificacion e implantacion de protocolos de seguridad. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Luis Mengual Galan <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1998<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li> Fernandez Del Val Carlos<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Luis Morant  Ram\u00f3n <\/li>\n<li>Ana Gomez Oliva (vocal)<\/li>\n<li>Arturo Ribagorda Garnacho (vocal)<\/li>\n<li>Antonio  Fernando Gomez Skarmeta (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Luis Mengual Galan En este trabajo, se ha concebido y desarrollado un sistema que permite la automatizaci\u00f3n [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1890,126,16008,15624],"tags":[97331,25029,7022,97354,30674,97353],"class_list":["post-36931","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-matematicas","category-politecnica-de-madrid","category-software","tag-ana-gomez-oliva","tag-antonio-fernando-gomez-skarmeta","tag-arturo-ribagorda-garnacho","tag-fernandez-del-val-carlos","tag-jose-luis-morant-ramon","tag-luis-mengual-galan"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/36931","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=36931"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/36931\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=36931"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=36931"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=36931"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}