Un viaje entre libros  Ver más

Enviar a
Provincia de Madrid
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 Timed Automata jako narzędzie weryfikacyjne dla protokolów bezpieczeństwa (en Polaco)
Formato
Libro Físico
Autor
Editorial
Idioma
Polaco
N° páginas
96
Encuadernación
Tapa Blanda
Dimensiones
22.9 x 15.2 x 0.6 cm
Peso
0.15 kg.
ISBN13
9786203133547
Categorías

Timed Automata jako narzędzie weryfikacyjne dla protokolów bezpieczeństwa (en Polaco)

Burcu Külahçıoğlu (Autor) · Wydawnictwo Nasza Wiedza · Tapa Blanda

Timed Automata jako narzędzie weryfikacyjne dla protokolów bezpieczeństwa (en Polaco) - Külahçıoğlu, Burcu

Libro Nuevo Importado
Envío: 18 a 22 días háb.
64,59 €58,13 €
-10%
Libro Nuevo

Quedan 10 unidades

58,13 €
Llega entre el 21 Ago y el 31 Ago a Provincia de Madrid. 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 "Timed Automata jako narzędzie weryfikacyjne dla protokolów bezpieczeństwa (en Polaco)"

Automatyka czasowa jest rozszerzeniem automatyki - teoretycznego podejścia do modelowania systemów czasu rzeczywistego, które wprowadza czas do klasycznej automatyki. Od czasu, gdy zostala po raz pierwszy zaproponowana na początku lat dziewięcdziesiątych, stala się ważnym obszarem badań i byla szeroko badana zarówno w kontekście języków formalnych, jak i modelowania i weryfikacji systemów czasu rzeczywistego. Automaty czasu rzeczywistego wykorzystują gęste modelowanie czasowe, pozwalające na sprawne sprawdzanie modeli systemów wrażliwych na czas, których prawidlowe funkcjonowanie zależy od wlaściwości czasowych. Jednym z tych obszarów zastosowań jest weryfikacja protokolów bezpieczeństwa. Książka ta koncentruje się na modelu automatyki czasowej i wykorzystuje go jako narzędzie weryfikacyjne dla protokolów bezpieczeństwa. Jako studium przypadku, Neuman-Stubblebine Repeated Authentication Protocol jest modelowany i weryfikowany z wykorzystaniem wrażliwych czasowo wlaściwości modelu. Wady protokolu są analizowane i komentowane na temat korzyści i wyzwań związanych z modelem.

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

¿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