Un Cadre Formel Pour la Prévention d’Intrusions

Amouri, Salah; Akik, Yacine; Hamza, Lamia ; promotrice

dc.contributor.author	Amouri, Salah
dc.contributor.author	Akik, Yacine
dc.contributor.author	Hamza, Lamia ; promotrice
dc.date.accessioned	2018-03-26T08:28:06Z
dc.date.available	2018-03-26T08:28:06Z
dc.date.issued	2013
dc.identifier.uri	http://univ-bejaia.dz/dspace/123456789/9280
dc.description	Option : Réseaux et Systèmes Distribués	en_US
dc.description.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.	en_US
dc.language.iso	fr	en_US
dc.publisher	Université abderrahmane mira béjaia	en_US
dc.subject	Sécurité informatique : Réseaux AD HOC : Méthodes formelles : Algèbre de processus : Calcul ambient	en_US
dc.title	Un Cadre Formel Pour la Prévention d’Intrusions	en_US
dc.type	Thesis	en_US