Contacto
Cómo comprar
Entrega
Guía de compras
Approche formelle pour la verification des ids
Francés
149 b
Hasta 30 días para devoluciones
Clientes que también han comprado
/
Tapa blanda
17.29
€
/
Tapa blanda
15.39
€
/
Anillas de fijación
24.69
€
/
Tapa blanda
259.19
€
/
Tapa blanda
15.89
€
/
Tapa blanda
24.09
€
/
Tapa blanda
29.49
€
Les Systčmes de Détection d'Intrusions (IDS) ont de nos jours une importance capitale dans la sécurisation des réseaux, ce qui a fait d'eux des cibles d'attaques privilégiées. Face ŕ cet état de fait, le test de leur bon fonctionnement est devenu primordial dans tout processus de sécurisation d'un réseau. Cependant les techniques de test usuelles s'avčrent aujourd'hui insuffisantes. Nous nous sommes intéressés dans ce travail ŕ la modélisation, la spécification, et la vérification formelle des propriétés, des mécanismes, et des protocoles de sécurité des IDS. Pour ce faire, nous avons utilisé le langage de spécification formelle TLA+, et son Model Checker TLC. TLA+ ayant été conçu pour la spécification des systčmes concurrents et répartis, nous l'avons adopté dans le cadre de ce travail pour couvrir des problématiques de sécurité. Aprčs un travail de spécification et de validation des IDS, nous avons proposé une extension ŕ TLA+ et ŕ TLC, afin de pouvoir détecter les cycles indésirables pouvant surgir suite ŕ une spécification erronée.
Sobre el libro
Francés
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
25.09
€
/
Tapa blanda
15.79
€
/
Tapa blanda
15.69
€
/
Tapa blanda
71.09
€
