Data & IT
Pocket
Zeitgesteuerte Automaten als Verifikationsinstrument fur Sicherheitsprotokolle
Burcu KulahcıOğLu
919:-
Uppskattad leveranstid 7-11 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Zeitautomaten ist eine Erweiterung des automaten-theoretischen Ansatzes zur Modellierung von Echtzeitsystemen, der die Zeit in die klassischen Automaten einfhrt. 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 Modellberprfung zeitempfindlicher Systeme ermglicht, deren korrektes Funktionieren von den Timing-Eigenschaften abhngt. Einer dieser Anwendungsbereiche ist die Verifikation von Sicherheitsprotokollen. Dieses Buch konzentriert sich auf das Modell der zeitgesteuerten Automaten und verwendet es als Verifikationswerkzeug fr Sicherheitsprotokolle. Als Fallstudie wird das Neuman-Stubblebine Repeated Authentication Protocol modelliert und verifiziert, wobei die zeitabhngigen Eigenschaften im Modell verwendet werden. Die Schwachstellen des Protokolls werden analysiert, und es werden die Vorteile und Herausforderungen des Modells kommentiert.
- Format: Pocket/Paperback
- ISBN: 9786203484038
- Språk: Tyska
- Antal sidor: 100
- Utgivningsdatum: 2021-08-26
- Förlag: Verlag Unser Wissen