Burcu Külahçioglu

Timed Automata jako narz¿dzie weryfikacyjne dla protoko¿ów bezpiecze¿stwa

Analiza studium przypadku

• Broschiertes Buch

Produktbeschreibung

Automatyka czasowa jest rozszerzeniem automatyki - teoretycznego podej¿cia do modelowania systemów czasu rzeczywistego, które wprowadza czas do klasycznej automatyki. Od czasu, gdy zostäa po raz pierwszy zaproponowana na pocz¿tku lat dziewi¿¿dziesi¿tych, stäa si¿ wänym obszarem badä i by¿a szeroko badana zarówno w kontek¿cie j¿zyków formalnych, jak i modelowania i weryfikacji systemów czasu rzeczywistego. Automaty czasu rzeczywistego wykorzystuj¿ g¿ste modelowanie czasowe, pozwalaj¿ce na sprawne sprawdzanie modeli systemów wräliwych na czas, których prawid¿owe funkcjonowanie zale¿y od w¿äciwo¿ci czasowych. Jednym z tych obszarów zastosowä jest weryfikacja protoko¿ów bezpiecze¿stwa. Ksi¿¿ka ta koncentruje si¿ na modelu automatyki czasowej i wykorzystuje go jako narz¿dzie weryfikacyjne dla protoko¿ów bezpiecze¿stwa. Jako studium przypadku, Neuman-Stubblebine Repeated Authentication Protocol jest modelowany i weryfikowany z wykorzystaniem wräliwych czasowo w¿äciwo¿ci modelu. Wady protoko¿u s¿ analizowane i komentowane na temat korzy¿ci i wyzwä zwi¿zanych z modelem.

Produktdetails

• Verlag: Wydawnictwo Nasza Wiedza
• Seitenzahl: 96
• Erscheinungstermin: 26. August 2021
• Polnisch
• Abmessung: 220mm x 150mm x 6mm
• Gewicht: 161g
• ISBN-13: 9786203133547
• ISBN-10: 620313354X
• Artikelnr.: 62512312

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.