Un Cadre Formel Pour La Prévention D’intrusions
Résumé: 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.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
