Un Cadre Formel Pour la Prévention d’Intrusions

Please use this identifier to cite or link to this item: http://univ-bejaia.dz/dspace/123456789/9280

Title:	Un Cadre Formel Pour la Prévention d’Intrusions
Authors:	Amouri, Salah Akik, Yacine Hamza, Lamia ; promotrice
Keywords:	Sécurité informatique : Réseaux AD HOC : Méthodes formelles : Algèbre de processus : Calcul ambient
Issue Date:	2013
Publisher:	Université abderrahmane mira béjaia
Abstract:	Aujourd’hui, aucun système informatique n’est sˆur `a cent pour cent. Configurer un système informatique afin de le rendre sécurisé est une tache complexe, elle se complique plus avec l’ampleur du système `a protéger. De ce fait il est important de développer des méthodes formelles permettant de configurer d’une manière sécurisée les systèmes informatiques. L’objectif de ce projet est la modélisation d’une attaque dans les réseaux AD HOC sous la forme d’un langage formel avec l’application de l’approche RSC, cela nous permet d’obtenir une version plus sécurisé du réseau.
Description:	Option : Réseaux et Systèmes Distribués
URI:	http://univ-bejaia.dz/dspace/123456789/9280
Appears in Collections:	Mémoires de Master

Files in This Item:

File	Description	Size	Format
Un Cadre Formel Pour la Prévention d’Intrusions.pdf		2.19 MB	Adobe PDF	View/Open

DSpace JSPUI