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+

Dieses Buch führt in die formale Verifikation von IDS ein, nutzt TLA+ zur präzisen Modellierung von Sicherheitsszenarien und zeigt Schritt für Schr ...
Gesponsert
51.15 EUR
Preis aktualisiert am: 20-06-2026 03:07:46
Gesponsert
61.90 EUR
Preis aktualisiert am: 24-09-2026 04:10:19

Allgemein

ISBN
6131547890

Eigenschaften

Menü