Terug Terug

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+

Name: Approche formelle pour la vérification des IDS
Author: Rekhis-S

Auteur: Rekhis-S

Taal: Frans

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Rekhis-S

Frans
Paperback
9786131547898
28 februari 2018
148 pagina's

Alle productspecificaties

Samenvatting

Les Systemes de Detection d'Intrusions (IDS) ont de nos jours une importance capitale dans la securisation des reseaux, ce qui a fait d'eux des cibles d'attaques privilegiees. Face a cet etat de fait, le test de leur bon fonctionnement est devenu primordial dans tout processus de securisation d'un reseau. Cependant les techniques de test usuelles s'averent aujourd'hui insuffisantes. Nous nous sommes interesses dans ce travail a la modelisation, la specification, et la verification formelle des proprietes, des mecanismes, et des protocoles de securite des IDS. Pour ce faire, nous avons utilise le langage de specification formelle TLA+, et son Model Checker TLC. TLA+ ayant ete concu pour la specification des systemes concurrents et repartis, nous l'avons adopte dans le cadre de ce travail pour couvrir des problematiques de securite. Apres un travail de specification et de validation des IDS, nous avons propose une extension a TLA+ et a TLC, afin de pouvoir detecter les cycles indesirables pouvant surgir suite a une specification erronee."

Productspecificaties

Inhoud

Taal: fr
Bindwijze: Paperback
Oorspronkelijke releasedatum: 28 februari 2018
Aantal pagina's: 148
Illustraties: Nee

Betrokkenen

Hoofdauteur: Rekhis-S
Hoofduitgeverij: Omniscriptum

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 152 mm
Product hoogte: 9 mm
Product lengte: 229 mm
Studieboek: Nee
Verpakking breedte: 150 mm
Verpakking hoogte: 9 mm
Verpakking lengte: 220 mm
Verpakkingsgewicht: 237 g

EAN

EAN: 9786131547898

Je vindt dit artikel in

Categorieën: Computers & Informatica

Poëzie, Bloemlezingen & Letterkunde

Informatica

Literatuurwetenschap

Boeken
Boek, ebook of luisterboek?: Boek
Taal: Frans
Studieboek of algemeen: Algemene boeken
Beschikbaarheid: Leverbaar

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.