A partir de cette page vous pouvez :
Retourner au premier Ă©cran avec les Ă©tagĂšres virtuelles... |
RĂ©sultat de la recherche
1 rĂ©sultat(s) recherche sur le mot-clĂ© 'Passerelle de sécurité de l’email, Spam, Malware, Politique de l’agence, spécification formelle, vérification, Promela Spin.'
Affiner la recherche Faire une suggestion
Formalisation dâune architecture de rĂ©fĂ©rence pour la sĂ©curisation du courrier Ă©lectronique / SaĂądia AZEMOUR
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