Getimede Automata als verificatie-instrument voor beveiligingsprotocollen - Külahçioglu, Burcu
32,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

Timed automata is een uitbreiding op de automata-theoretische benadering van de modellering van real time systemen die tijd in de klassieke automata introduceert. Sinds het voor het eerst werd voorgesteld in het begin van de jaren negentig, is het een belangrijk onderzoeksgebied geworden en is het op grote schaal bestudeerd in zowel de context van formele talen als van het modelleren en verifiëren van realtime systemen. Getimede automaten maken gebruik van dichte tijdmodellering, wat een efficiënte modelcontrole mogelijk maakt van tijdgevoelige systemen waarvan de correcte werking afhankelijk…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Timed automata is een uitbreiding op de automata-theoretische benadering van de modellering van real time systemen die tijd in de klassieke automata introduceert. Sinds het voor het eerst werd voorgesteld in het begin van de jaren negentig, is het een belangrijk onderzoeksgebied geworden en is het op grote schaal bestudeerd in zowel de context van formele talen als van het modelleren en verifiëren van realtime systemen. Getimede automaten maken gebruik van dichte tijdmodellering, wat een efficiënte modelcontrole mogelijk maakt van tijdgevoelige systemen waarvan de correcte werking afhankelijk is van de eigenschappen van de timing. Een van deze toepassingsgebieden is de verificatie van beveiligingsprotocollen. Dit boek richt zich op het getimede automata-model en gebruikt het als verificatie-instrument voor beveiligingsprotocollen. Als casestudy wordt het Neuman-Stubblebine Repeated Authentication Protocol gemodelleerd en geverifieerd aan de hand van de tijdgevoelige eigenschappen in het model. De gebreken van het protocol worden geanalyseerd en er wordt commentaar gegeven op de voordelen en uitdagingen van het model.
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.