Los autómatas programados como herramienta de verificación de los protocolos de seguridad - Külahç¿o¿lu, Burcu
32,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
16 °P sammeln
  • Broschiertes Buch

Los autómatas temporizados son una extensión del enfoque teórico de los autómatas para el modelado de sistemas de tiempo real que introduce el tiempo en los autómatas clásicos. Desde que se propuso por primera vez a principios del decenio de 1990, se ha convertido en una importante esfera de investigación y se ha estudiado ampliamente tanto en el contexto de los lenguajes formales como en el de la modelización y verificación de los sistemas de tiempo real. Los autómatas cronometrados utilizan un modelo de tiempo denso, lo que permite una verificación eficiente del modelo de los sistemas…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Los autómatas temporizados son una extensión del enfoque teórico de los autómatas para el modelado de sistemas de tiempo real que introduce el tiempo en los autómatas clásicos. Desde que se propuso por primera vez a principios del decenio de 1990, se ha convertido en una importante esfera de investigación y se ha estudiado ampliamente tanto en el contexto de los lenguajes formales como en el de la modelización y verificación de los sistemas de tiempo real. Los autómatas cronometrados utilizan un modelo de tiempo denso, lo que permite una verificación eficiente del modelo de los sistemas sensibles al tiempo cuyo correcto funcionamiento depende de las propiedades de la cronología. Una de esas esferas de aplicación es la verificación de los protocolos de seguridad. Este libro se centra en el modelo de autómatas temporizados y lo utiliza como herramienta de verificación de los protocolos de seguridad. Como estudio de caso, el Protocolo de Autenticación Repetida Neuman-Stubblebine se modela y verifica empleando las propiedades temporales del modelo. Se analizan los defectos del protocolo y se comentan las ventajas y los problemas del modelo.
Autorenporträt
Burcu Külahç¿ölu, M.S.: Estudió la licenciatura en Ingeniería Informática en la Universidad de Yeditepe. Obtuvo el título de M.S. en el Instituto de Tecnología ¿zmir. Sus intereses de investigación incluyen la teoría de los autómatas temporizados, el modelado y la verificación de los sistemas en tiempo real y los fundamentos teóricos de la ciencia de la computación. Asistente de investigación en la Universidad de Yasar, Izmir.