Documents disponibles écrits par cet auteur

Formalisation d’une architecture de référence pour la sécurisation du courrier électronique / Saâdia AZEMOUR

Public ISBD Titre : Formalisation d’une architecture de référence pour la sécurisation du courrier électronique Type de document : projet fin études Auteurs : Saâdia AZEMOUR, Auteur Année de publication : 2015 Langues : Français (fre) Catégories : Réseaux Informatique,Télécommunications et Multimédia Mots-clés : Passerelle de sécurité de l’email, Spam, Malware, Politique de l’agence, spécification formelle, vérification, Promela Spin. Index. décimale : master/236 Résumé : Un serveur de messagerie est considéré aujourd’hui parmi les éléments fondamentaux de toute agence, cela fait des problèmes affectant ce système une véritable menace pour l’agence toute entière. Par conséquent, la sécurité du système de courriel est une nécessité primordiale pour protéger le système global de l'agence. Dans ce travail, nous développons une spécification formelle d'une architecture de référence de la sécurité des passerelles du serveur mail et nous vérifions par la suite notre modèle proposé pour en valider les résultats. Plusieurs organismes ont collaboré pour proposer cette architecture qui est destinée à être utilisé par des agences civiles fédérales. L'intérêt de notre spécification consiste à permettre d'illustrer avec des machines à états finis le comportement interne de chaque composant de cette architecture. Ceci sera utile pour mieux comprendre les opérations internes d'un système de sécurité du courrier électronique, et vérifier son fonctionnement global de façon automatique. Nous modélisons d'abord chaque composant en utilisant un automate, et nous effectuons une composition des automates obtenus afin d'avoir un automate complet, qui décrit l'ensemble du système d'une manière globale. Ensuite, nous vérifions notre modèle proposé en utilisant l'outil Promela Spin et en ajoutant quelques propriétés pour vérifier la validité de la spécification proposée. Formalisation d’une architecture de référence pour la sécurisation du courrier électronique [projet fin études] / Saâdia AZEMOUR, Auteur . - 2015. Langues : Français (fre) Catégories : Réseaux Informatique,Télécommunications et Multimédia Mots-clés : Passerelle de sécurité de l’email, Spam, Malware, Politique de l’agence, spécification formelle, vérification, Promela Spin. Index. décimale : master/236 Résumé : Un serveur de messagerie est considéré aujourd’hui parmi les éléments fondamentaux de toute agence, cela fait des problèmes affectant ce système une véritable menace pour l’agence toute entière. Par conséquent, la sécurité du système de courriel est une nécessité primordiale pour protéger le système global de l'agence. Dans ce travail, nous développons une spécification formelle d'une architecture de référence de la sécurité des passerelles du serveur mail et nous vérifions par la suite notre modèle proposé pour en valider les résultats. Plusieurs organismes ont collaboré pour proposer cette architecture qui est destinée à être utilisé par des agences civiles fédérales. L'intérêt de notre spécification consiste à permettre d'illustrer avec des machines à états finis le comportement interne de chaque composant de cette architecture. Ceci sera utile pour mieux comprendre les opérations internes d'un système de sécurité du courrier électronique, et vérifier son fonctionnement global de façon automatique. Nous modélisons d'abord chaque composant en utilisant un automate, et nous effectuons une composition des automates obtenus afin d'avoir un automate complet, qui décrit l'ensemble du système d'une manière globale. Ensuite, nous vérifions notre modèle proposé en utilisant l'outil Promela Spin et en ajoutant quelques propriétés pour vérifier la validité de la spécification proposée.

Réservation

Réserver ce document

Exemplaires

Code barre	Cote	Support	Localisation	Section	Disponibilité
master/236	master/236 SAA	Texte imprimé	Unité des masters	Mast/16 -	Disponible