Tracked shipping to South Africa with premium packaging for just R199 

Ship to
South Africa
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Zeitgesteuerte Automaten als Verifikationsinstrument für Sicherheitsprotokolle (in German)
Type
Physical Book
Author
Publisher
Language
German
Pages
100
Format
Paperback
Dimensions
22.9 x 15.2 x 0.6 cm
Weight
0.16 kg.
ISBN13
9786203484038
Categories

Zeitgesteuerte Automaten als Verifikationsinstrument für Sicherheitsprotokolle (in German)

Burcu Külahçıoğlu (Author) · Verlag Unser Wissen · Paperback

Zeitgesteuerte Automaten als Verifikationsinstrument für Sicherheitsprotokolle (in German) - Külahçıoğlu, Burcu

New Book Imported to South Africa
Delivery: 27 Aug - 07 Sep Shipping: 13 to 14 business days.
R 967
R 967

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Zeitgesteuerte Automaten als Verifikationsinstrument für Sicherheitsprotokolle (in German)"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in German.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews