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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.