Compartir
Zeitgesteuerte Automaten als Verifikationsinstrument für Sicherheitsprotokolle (en Alemán)
Burcu Külahçıoğlu
(Autor)
·
Verlag Unser Wissen
· Tapa Blanda
Zeitgesteuerte Automaten als Verifikationsinstrument für Sicherheitsprotokolle (en Alemán) - Külahçıoğlu, Burcu
$ 44.57
$ 52.92
Ahorras: $ 8.35
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 ListasSe enviará desde nuestra bodega entre el
Lunes 15 de Julio y el
Martes 16 de Julio.
Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Zeitgesteuerte Automaten als Verifikationsinstrument für Sicherheitsprotokolle (en Alemán)"
Zeitautomaten ist eine Erweiterung des automaten-theoretischen Ansatzes zur Modellierung von Echtzeitsystemen, der die Zeit in die klassischen Automaten einführt. Seit es Anfang der neunziger Jahre erstmals vorgeschlagen wurde, hat es sich zu einem wichtigen Forschungsgebiet entwickelt und wurde sowohl im Zusammenhang mit formalen Sprachen als auch mit der Modellierung und Verifikation von Echtzeitsystemen umfassend untersucht. Zeitautomaten verwenden eine dichte Zeitmodellierung, die eine effiziente Modellüberprüfung zeitempfindlicher Systeme ermöglicht, deren korrektes Funktionieren von den Timing-Eigenschaften abhängt. Einer dieser Anwendungsbereiche ist die Verifikation von Sicherheitsprotokollen. Dieses Buch konzentriert sich auf das Modell der zeitgesteuerten Automaten und verwendet es als Verifikationswerkzeug für Sicherheitsprotokolle. Als Fallstudie wird das Neuman-Stubblebine Repeated Authentication Protocol modelliert und verifiziert, wobei die zeitabhängigen Eigenschaften im Modell verwendet werden. Die Schwachstellen des Protokolls werden analysiert, und es werden die Vorteile und Herausforderungen des Modells kommentiert.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Alemán.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.