Approche formelle pour la vérification des IDS
Slim Rekhis
Broschiertes Buch

Approche formelle pour la vérification des IDS

Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+

Versandkostenfrei!
Versandfertig in 6-10 Tagen
39,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
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 fair...