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+
61.90 EUR
Ein praxisnahes Buch, das formale Verifikationsmethoden für Intrusion‑Detection‑Systeme vorstellt, wobei TLA+ als Modellierungssprache dient, um Sicherheitsprotokolle exakt zu analysieren und zu validieren.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Approche formelle pour la vérification des IDS, Fachbücher von Slim Rekhis
Galaxus.de
13-05-2026 11:26:02
