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+
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: ![]()
![]()
![]()
![]()
![]()
![]()
preigu.de
Gesponsert
Galaxus.de
Approche formelle pour la vérification des IDS, Fachbücher von Slim Rekhis
Galaxus.de
03-08-2026 08:40:31
