Compartir
Timed Automata jako narzędzie weryfikacyjne dla protokolów bezpieczeństwa (en Polaco)
Burcu Külahçıoğlu
(Autor)
·
Wydawnictwo Nasza Wiedza
· Tapa Blanda
Timed Automata jako narzędzie weryfikacyjne dla protokolów bezpieczeństwa (en Polaco) - Külahçıoğlu, Burcu
67,97 €
71,55 €
Ahorras: 3,58 €
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Miércoles 17 de Julio y el
Miércoles 31 de Julio.
Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.
Reseña del libro "Timed Automata jako narzędzie weryfikacyjne dla protokolów bezpieczeństwa (en Polaco)"
Automatyka czasowa jest rozszerzeniem automatyki - teoretycznego podejścia do modelowania systemów czasu rzeczywistego, które wprowadza czas do klasycznej automatyki. Od czasu, gdy zostala po raz pierwszy zaproponowana na początku lat dziewięcdziesiątych, stala się ważnym obszarem badań i byla 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 wrażliwych na czas, których prawidlowe funkcjonowanie zależy od wlaściwości czasowych. Jednym z tych obszarów zastosowań jest weryfikacja protokolów bezpieczeństwa. Książka ta koncentruje się na modelu automatyki czasowej i wykorzystuje go jako narzędzie weryfikacyjne dla protokolów bezpieczeństwa. Jako studium przypadku, Neuman-Stubblebine Repeated Authentication Protocol jest modelowany i weryfikowany z wykorzystaniem wrażliwych czasowo wlaściwości modelu. Wady protokolu są analizowane i komentowane na temat korzyści i wyzwań związanych z modelem.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Polaco .
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.