A partir de cette page vous pouvez :
Retourner au premier Ă©cran avec les recherches... |
unité des thèses
144 résultat(s)
Affiner la recherche
Affiner la recherche
Approches basées sur les automatismes à états finis pour la modélisation et l'analyse des politiques de sécurité des Firewalls / Krombi Wadie
Titre : Approches basĂ©es sur les automatismes Ă Ă©tats finis pour la modĂ©lisation et l'analyse des politiques de sĂ©curitĂ© des Firewalls Type de document : thèse Auteurs : Krombi Wadie, Auteur AnnĂ©e de publication : 2014 Langues : Français (fre) CatĂ©gories : Informatique Mots-clĂ©s : Politique de sĂ©curitĂ©, Règle de SĂ©curitĂ©, Firewall, Automate Ă Etats Finis, Composition, Produit d'Automates, Automate de la Politique, ComplĂ©tude, Anomalies, Redondance, Politique Equivalente, Ordre des Règles, Adaptation Dynamique, Performances du Firewall, Divergences. Index. dĂ©cimale : Doct/202 RĂ©sumĂ© : Les systèmes d'information deviennent de plus en plus le centre névralgique de toute organisation. Afin d'assurer un certain niveau de sécurité, le comportement d'un système doit être contrôlé par une politique de sécurité. En général, les politiques de sécurité sont des règles exprimant des contraintes pour sécuriser un système donné. Souvent ces règles sont exprimées de manière informelle, ce qui mène alors à des ambigüités et à des contradictions lors de leur implémentation.
Dans cette thèse, nous proposons des approches de modélisation d’un système et de transformation d’une politique de sécurité d’un firewall, exprimées sous forme de règles, en utilisant un même formalisme : celui des automates à états finis. Ce choix de modélisation constitue une véritable « base commune » pour la spécification, l’analyse et la composition en utilisant un modèle homogène. En se basant sur ces approches, nous proposons :
ď‚· Une démarche de composition d’un système avec sa politique de sécurité.
ď‚· Une démarche formelle pour analyser et assurer la complétude d’une politique de sécurité d’un firewall.
ď‚· Un algorithme de détection des différents types d’anomalies dans une politique de sécurité d’un firewall.
ď‚· Une méthode d’obtention à partir d’une politique initiale d’une autre politique équivalente dans laquelle l’ordre des règles n’est plus important.
ď‚· Une méthode qui permet d’adapter dynamiquement une politique de sécurité d’un firewall au trafic réseau filtré et d’étudier l’impact de cette adaptation sur les performances de filtrage du firewall.
ď‚· Une méthode qui permet la détection et la résolution des divergences fonctionnelles entre plusieurs politiques de sécurité d’un firewall.
Un framework a été mis en oeuvre pour à la fois valider les concepts théoriques traités et aboutir à un produit final exploitable.
Approches basées sur les automatismes à états finis pour la modélisation et l'analyse des politiques de sécurité des Firewalls [thèse] / Krombi Wadie, Auteur . - 2014.
Langues : Français (fre)
CatĂ©gories : Informatique Mots-clĂ©s : Politique de sĂ©curitĂ©, Règle de SĂ©curitĂ©, Firewall, Automate Ă Etats Finis, Composition, Produit d'Automates, Automate de la Politique, ComplĂ©tude, Anomalies, Redondance, Politique Equivalente, Ordre des Règles, Adaptation Dynamique, Performances du Firewall, Divergences. Index. dĂ©cimale : Doct/202 RĂ©sumĂ© : Les systèmes d'information deviennent de plus en plus le centre névralgique de toute organisation. Afin d'assurer un certain niveau de sécurité, le comportement d'un système doit être contrôlé par une politique de sécurité. En général, les politiques de sécurité sont des règles exprimant des contraintes pour sécuriser un système donné. Souvent ces règles sont exprimées de manière informelle, ce qui mène alors à des ambigüités et à des contradictions lors de leur implémentation.
Dans cette thèse, nous proposons des approches de modélisation d’un système et de transformation d’une politique de sécurité d’un firewall, exprimées sous forme de règles, en utilisant un même formalisme : celui des automates à états finis. Ce choix de modélisation constitue une véritable « base commune » pour la spécification, l’analyse et la composition en utilisant un modèle homogène. En se basant sur ces approches, nous proposons :
ď‚· Une démarche de composition d’un système avec sa politique de sécurité.
ď‚· Une démarche formelle pour analyser et assurer la complétude d’une politique de sécurité d’un firewall.
ď‚· Un algorithme de détection des différents types d’anomalies dans une politique de sécurité d’un firewall.
ď‚· Une méthode d’obtention à partir d’une politique initiale d’une autre politique équivalente dans laquelle l’ordre des règles n’est plus important.
ď‚· Une méthode qui permet d’adapter dynamiquement une politique de sécurité d’un firewall au trafic réseau filtré et d’étudier l’impact de cette adaptation sur les performances de filtrage du firewall.
ď‚· Une méthode qui permet la détection et la résolution des divergences fonctionnelles entre plusieurs politiques de sécurité d’un firewall.
Un framework a été mis en oeuvre pour à la fois valider les concepts théoriques traités et aboutir à un produit final exploitable.
RĂ©servation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/202 Doct/202 KRO Texte imprimé unité des thèses cedoc Disponible Arabic sentiment classification: Addressing the problems of unbalanced data sets and huge dimensionality / Mountassir Asmaa
Titre : Arabic sentiment classification: Addressing the problems of unbalanced data sets and huge dimensionality Type de document : thèse Auteurs : Mountassir Asmaa, Auteur Année de publication : 2016 Langues : Anglais (eng) Catégories : Informatique Index. décimale : Doct/294 Arabic sentiment classification: Addressing the problems of unbalanced data sets and huge dimensionality [thèse] / Mountassir Asmaa, Auteur . - 2016.
Langues : Anglais (eng)
Catégories : Informatique Index. décimale : Doct/294 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/294 Doct/294 MOU Texte imprimé unité des thèses cedoc Disponible Autonomic delay tolerant networks for the internet of things communication: game theory and markov decision processes framework / Ait Oualhaj Omar
Titre : Autonomic delay tolerant networks for the internet of things communication: game theory and markov decision processes framework Type de document : thèse Auteurs : Ait Oualhaj Omar, Auteur Année de publication : 2018 Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/325 Autonomic delay tolerant networks for the internet of things communication: game theory and markov decision processes framework [thèse] / Ait Oualhaj Omar, Auteur . - 2018.
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/325 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/325 Doct/325 AIT Texte imprimé unité des thèses cedoc Disponible CASPL: coevolution analysis of software product lines / Benlarabi Anissa
Titre : CASPL: coevolution analysis of software product lines Autre titre : Une plateforme d'analyse corrective pour des lignes de produits fiables et perennes Type de document : thèse Auteurs : Benlarabi Anissa, Auteur Année de publication : 2017 Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/322 CASPL: coevolution analysis of software product lines [thèse] ; Une plateforme d'analyse corrective pour des lignes de produits fiables et perennes / Benlarabi Anissa, Auteur . - 2017.
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/322 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/322 Doct/322 BEN Texte imprimé unité des thèses cedoc Disponible ClĂ©: Environnement d'apprentissage connectĂ© et dĂ©cisionnel Ă base de graphes Ă travers le GNN / Belahcen Anas
Titre : Clé: Environnement d'apprentissage connecté et décisionnel à base de graphes à travers le GNN Type de document : thèse Auteurs : Belahcen Anas, Auteur Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/304 Clé: Environnement d'apprentissage connecté et décisionnel à base de graphes à travers le GNN [thèse] / Belahcen Anas, Auteur . - [s.d.].
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/304 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/304 Doct/304 BEL Texte imprimé unité des thèses cedoc Disponible Commande non linĂ©aire d'un système de conversation d'Ă©nergie dans les vĂ©hicules Ă©lectriques / Tahri Abdelouahad
Titre : Commande non linéaire d'un système de conversation d'énergie dans les véhicules électriques Type de document : thèse Auteurs : Tahri Abdelouahad, Auteur Année de publication : 2017 Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/296 Commande non linéaire d'un système de conversation d'énergie dans les véhicules électriques [thèse] / Tahri Abdelouahad, Auteur . - 2017.
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/296 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/296 Doct/296 TAH Texte imprimé unité des thèses cedoc Disponible Commande et observation non linĂ©aires des systemes de filtrage actif de puissance / Younes Abouelmahjoub
Titre : Commande et observation non linéaires des systemes de filtrage actif de puissance Type de document : thèse Auteurs : Younes Abouelmahjoub, Auteur Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/306 Commande et observation non linéaires des systemes de filtrage actif de puissance [thèse] / Younes Abouelmahjoub, Auteur . - [s.d.].
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/306 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/306 Doct/306 YOU Texte imprimé unité des thèses cedoc Disponible Commande robuste par ADCR de l'Ă©olienne Ă base de la machine asynchrone Ă double alimentation / Boukhriss Ali
Titre : Commande robuste par ADCR de l'éolienne à base de la machine asynchrone à double alimentation Type de document : thèse Auteurs : Boukhriss Ali, Auteur Année de publication : 2015 Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/252 Commande robuste par ADCR de l'éolienne à base de la machine asynchrone à double alimentation [thèse] / Boukhriss Ali, Auteur . - 2015.
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/252 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/252 Doct/252 BOU Texte imprimé unité des thèses cedoc Disponible Commandes et observations non linĂ©aires des systèmes d'alimentation sans interruption / Kissaoui Mohammed
Titre : Commandes et observations non linéaires des systèmes d'alimentation sans interruption Type de document : thèse Auteurs : Kissaoui Mohammed, Auteur Année de publication : 2018 Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/298 Commandes et observations non linéaires des systèmes d'alimentation sans interruption [thèse] / Kissaoui Mohammed, Auteur . - 2018.
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/298 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/298 Doct/298Kis Texte imprimé unité des thèses cedoc Disponible Conception et dĂ©veloppement des dĂ©codeurs pondĂ©rĂ©s pour les codes linĂ©aires Ă base de l'algorithme gĂ©nĂ©tique compact / Ahlam Berkani
Titre : Conception et développement des décodeurs pondérés pour les codes linéaires à base de l'algorithme génétique compact Type de document : thèse Auteurs : Ahlam Berkani, Auteur Année de publication : 2017 Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/281 Conception et développement des décodeurs pondérés pour les codes linéaires à base de l'algorithme génétique compact [thèse] / Ahlam Berkani, Auteur . - 2017.
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/281 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/281 Doct/281 AHL Texte imprimé unité des thèses cedoc Disponible Context-driven approches using IOT and BIG DATA technologies for smart buildings / Lachhab Fadwa
Titre : Context-driven approches using IOT and BIG DATA technologies for smart buildings Type de document : texte imprimé Auteurs : Lachhab Fadwa, Auteur Année de publication : 2018 Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/337 Context-driven approches using IOT and BIG DATA technologies for smart buildings [texte imprimé] / Lachhab Fadwa, Auteur . - 2018.
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/337 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/337 Doct/337 LAC Texte imprimé unité des thèses cedoc Disponible Contribution Ă l'adaptation de la qualitĂ© de la diffusion vidĂ©o scalable en flux sur un rĂ©seau pair-Ă -pair / Lahbabi Youssef
Titre : Contribution à l'adaptation de la qualité de la diffusion vidéo scalable en flux sur un réseau pair-à -pair Type de document : thèse Auteurs : Lahbabi Youssef, Auteur Année de publication : 2016 Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/258 Contribution à l'adaptation de la qualité de la diffusion vidéo scalable en flux sur un réseau pair-à -pair [thèse] / Lahbabi Youssef, Auteur . - 2016.
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/258 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/258 Doct/258 LAH Texte imprimé unité des thèses cedoc Disponible Contribution Ă l'amĂ©lioration de la qualitĂ© de services multimĂ©dia pour les rĂ©seaux de nouvelle gĂ©nĂ©ration basĂ©s sur IP / Allouch Hamid
Titre : Contribution à l'amélioration de la qualité de services multimédia pour les réseaux de nouvelle génération basés sur IP Type de document : thèse Auteurs : Allouch Hamid, Auteur Année de publication : 2015 Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/246 Contribution à l'amélioration de la qualité de services multimédia pour les réseaux de nouvelle génération basés sur IP [thèse] / Allouch Hamid, Auteur . - 2015.
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/246 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/246 Doct/246 ALL Texte imprimé unité des thèses cedoc Disponible Contribution Ă la classification automatique des donnĂ©es multidimentionnelles en utilisant les rĂ©seaux de neuronnes compĂ©titifs hebbians: / Timouyas Meriem
Titre : Contribution à la classification automatique des données multidimentionnelles en utilisant les réseaux de neuronnes compétitifs hebbians: Type de document : thèse Auteurs : Timouyas Meriem, Auteur Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/303 Contribution à la classification automatique des données multidimentionnelles en utilisant les réseaux de neuronnes compétitifs hebbians: [thèse] / Timouyas Meriem, Auteur . - [s.d.].
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/303 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/303 Doct/303 TIM Texte imprimé unité des thèses cedoc Disponible Contribution Ă la commande des aĂ©ro-gĂ©nĂ©rateurs asynchrone / Lajouad Rachid
Titre : Contribution à la commande des aéro-générateurs asynchrone Type de document : thèse Auteurs : Lajouad Rachid, Auteur Année de publication : 2016 Langues : Français (fre) Catégories : Informatique Index. décimale : Doct/256 Contribution à la commande des aéro-générateurs asynchrone [thèse] / Lajouad Rachid, Auteur . - 2016.
Langues : Français (fre)
Catégories : Informatique Index. décimale : Doct/256 Réservation
RĂ©server ce document
Exemplaires
Code barre Cote Support Localisation Section DisponibilitĂ© Doct/256 Doct/256 LAJ Texte imprimé unité des thèses cedoc Disponible