Miles de libros con descuentos a un sólo clic - 50% de dto  Ver más

Enviar a
Montevideo, Montevideo
0

Mi Cuenta

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

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Automi temporizzati come strumento di verifica per i protocolli di sicurezza (en Italiano)
Formato
Libro Físico
Autor
Editorial
Idioma
Italiano
N° páginas
96
Encuadernación
Tapa Blanda
Dimensiones
22.9 x 15.2 x 0.6 cm
Peso
0.15 kg.
ISBN13
9786203133561
Categorías

Automi temporizzati come strumento di verifica per i protocolli di sicurezza (en Italiano)

Burcu Külahçıoğlu (Autor) · Edizioni Sapienza · Tapa Blanda

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

Libro Nuevo Importado
Envío: 22 a 27 días háb.
$ 4.213$ 2.106
-50%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 10 unidades

$ 2.106
Llega entre el 27 Ago y el 03 Sep a Montevideo, Montevideo. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Automi temporizzati come strumento di verifica per i protocolli di sicurezza (en Italiano)"

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.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Italiano.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes