Compartir
Les automates temporisés comme outil de vérification des protocoles de sécurité (en Francés)
Burcu Külahçıoğlu
(Autor)
·
Editions Notre Savoir
· Tapa Blanda
Les automates temporisés comme outil de vérification des protocoles de sécurité (en Francés) - Külahçıoğlu, Burcu
$ 62.22
$ 124.43
Ahorras: $ 62.22
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Lunes 22 de Julio y el
Miércoles 31 de Julio.
Lo recibirás en cualquier lugar de Ecuador entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Les automates temporisés comme outil de vérification des protocoles de sécurité (en Francés)"
Les automates temporisés sont une extension de l'approche de la théorie des automates pour la modélisation des systèmes en temps réel qui introduit le temps dans les automates classiques. Depuis qu'il a été proposé pour la première fois au début des années 90, il est devenu un domaine de recherche important et a été largement étudié tant dans le contexte des langages formels que dans celui de la modélisation et de la vérification des systèmes en temps réel. Les automates temporisés utilisent une modélisation dense du temps, permettant une vérification efficace des modèles de systèmes sensibles au temps dont le bon fonctionnement dépend des propriétés de temporisation. L'un de ces domaines d'application est la vérification des protocoles de sécurité. Ce livre se concentre sur le modèle des automates temporisés et l'utilise comme un outil de vérification des protocoles de sécurité. Comme étude de cas, le protocole d'authentification répétée de Neuman-Stubblebine est modélisé et vérifié en utilisant les propriétés sensibles au temps du modèle. Les défauts du protocole sont analysés et il est commenté sur les avantages et les défis du modèle.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Francés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.
