Ship to
Austria
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 Automi temporizzati come strumento di verifica per i protocolli di sicurezza (in Italian)
Type
Physical Book
Author
Publisher
Language
Italian
Pages
96
Format
Paperback
Dimensions
22.9 x 15.2 x 0.6 cm
Weight
0.15 kg.
ISBN13
9786203133561
Categories

Automi temporizzati come strumento di verifica per i protocolli di sicurezza (in Italian)

Burcu Külahçıoğlu (Author) · Edizioni Sapienza · Paperback

Automi temporizzati come strumento di verifica per i protocolli di sicurezza (in Italian) - Külahçıoğlu, Burcu

New Book Imported to Austria
Delivery: 20 Aug - 24 Aug Shipping: 13 to 14 business days.
54,24 €
Import costs and 10% VAT included in the price ✅
54,24 €

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

Go to My Wishlists
Calculate shipping cost

Synopsis "Automi temporizzati come strumento di verifica per i protocolli di sicurezza (in Italian)"

Gli automi temporizzati sono un'estensione dell'approccio auto-teorico alla modellazione di sistemi in tempo reale che introduce il tempo negli automi classici. Da quando è stato proposto per la prima volta nei primi anni Novanta, è diventato un importante settore di ricerca ed è stato ampiamente studiato sia nel contesto dei linguaggi formali che della modellazione e della verifica dei sistemi in tempo reale. Gli automi temporizzati utilizzano la modellazione a tempo denso, consentendo un'efficiente verifica modellistica di sistemi sensibili al tempo il cui corretto funzionamento dipende dalle proprietà di temporizzazione. Una di queste aree di applicazione è la verifica dei protocolli di sicurezza. Questo libro si concentra sul modello degli automi temporizzati e lo utilizza come strumento di verifica dei protocolli di sicurezza. Come caso di studio, il protocollo di autenticazione ripetuto Neuman-Stubblebine Repeated Authentication Protocol viene modellato e verificato utilizzando le proprietà sensibili al tempo del modello. Vengono analizzati i difetti del protocollo e vengono commentati i vantaggi e le sfide del modello.

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 Italian.

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