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+

Éditeur: Editions Universitaires Européennes
2010148 pagesISBN 9786131547898
Format: BrochéLangue : Français
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...
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)