Alle Kategorien
Bücher
Schule & Lernen
(Land-)Karten
Schreibwaren
Kalender
Spielzeug
Gesellschaftsspiele
0,00 €
Cover: 9786131547898 | Approche formelle pour la vérification des IDS | Slim Rekhis | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
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+
Taschenbuch von Slim Rekhis
Sprache: Französisch

61,90 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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. Nous nous sommes intéressés dans ce travail à la modélisation, la spécification, et la vérification formelle des propriétés, des mécanismes, et des protocoles de sécurité des IDS. Pour ce faire, nous avons utilisé le langage de spécification formelle TLA+, et son Model Checker TLC. TLA+ ayant été conçu pour la spécification des systèmes concurrents et répartis, nous l'avons adopté dans le cadre de ce travail pour couvrir des problématiques de sécurité. Après un travail de spécification et de validation des IDS, nous avons proposé une extension à TLA+ et à TLC, afin de pouvoir détecter les cycles indésirables pouvant surgir suite à une spécification erronée.
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. Nous nous sommes intéressés dans ce travail à la modélisation, la spécification, et la vérification formelle des propriétés, des mécanismes, et des protocoles de sécurité des IDS. Pour ce faire, nous avons utilisé le langage de spécification formelle TLA+, et son Model Checker TLC. TLA+ ayant été conçu pour la spécification des systèmes concurrents et répartis, nous l'avons adopté dans le cadre de ce travail pour couvrir des problématiques de sécurité. Après un travail de spécification et de validation des IDS, nous avons proposé une extension à TLA+ et à TLC, afin de pouvoir détecter les cycles indésirables pouvant surgir suite à une spécification erronée.
Über den Autor
Slim Rekhis a reçu son Ph.D en Télécommunications de l'ÉcoleSupérieure des Télécommunications de Tunis (SUP'Com) en 2007. Ilest membre de l'unité de recherche Réseaux de communications etSécurité. Il s'intéresse à l'investigation numérique desincidents de sécurité, les méthodes formelles en sécurité, et lasécurité dans les réseaux sans fil.
Details
Erscheinungsjahr: 2010
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: 148 S.
ISBN-13: 9786131547898
ISBN-10: 6131547890
Sprache: Französisch
Einband: Kartoniert / Broschiert
Autor: Rekhis, Slim
Hersteller: Éditions universitaires européennes
Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 220 x 150 x 10 mm
Von/Mit: Slim Rekhis
Erscheinungsdatum: 12.11.2010
Gewicht: 0,238 kg
Artikel-ID: 107226834
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...