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 ...
Wo zu kaufen (1) Eigenschaften
Gesponsert
Approche formelle pour la vérification des IDS, Fachbücher von Slim Rekhis
Galaxus.de
61.90 EUR
Preis aktualisiert am: 29-04-2026 17:14:01
Siehe Produktangebot

Allgemein

ISBN
6131547890

Eigenschaften

Ähnliche Produkte

Introduction aux sciences criminelles: Pour une approche globale et intégrée du phénomène criminel
Introduction aux sciences criminelles: Pour une approche globale et intégrée du phénomène criminel - Sixième édition
Produkt anzeigen
Mhadhbi, Khalil: Système Financier-Croissance Économique
Mhadhbi, Khalil: Système Financier-Croissance Économique
Produkt anzeigen
Différentes approches de l'interprétation de l'équilibre acido-basique: Approche traditionnelle, approche physico-chimique, nouvelle méthode ... de la théorie de l'équilibre acido-basique
Différentes approches de l'interprétation de l'équilibre acido-basique: Approche traditionnelle, approche physico-chimique, nouvelle méthode ... de la théorie de l'équilibre acido-basique
Produkt anzeigen
Guengané, R: Améliorer l'étuvage du Riz au Burkina: approche (Omn.Pres.Franc.)
Guengané, R: Améliorer l'étuvage du Riz au Burkina: approche (Omn.Pres.Franc.)
Produkt anzeigen
Hussein, Mohammed: Mesures de la pollution de l'air, approches rentables
Hussein, Mohammed: Mesures de la pollution de l'air, approches rentables
Produkt anzeigen
L'ensemble Funeraire Du Site De Caseta, Jalisco, Mexique: Une approche archéo-anthropologique (British Archaeological Reports British Series, Band 1197)
L'ensemble Funeraire Du Site De Caseta, Jalisco, Mexique: Une approche archéo-anthropologique (British Archaeological Reports British Series, Band 1197)
Produkt anzeigen
Menü