University Sétif 1 FERHAT ABBAS Faculty of Sciences
Catégories
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Assessment explanation approaches for black box models Type de document : texte imprimé Auteurs : Khaled Bouabdallah, Auteur ; Seddik Boudissa, Auteur ; Ahlem Drif, Directeur de thèse Année de publication : 2022 Importance : 1 vol (79 f .) Format : 29cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Artificial Intelligence
Explainable Artificial IntelligenceIndex. décimale : 004 Informatique Résumé :
Machine learning models, particularly deep learning models, are frequently referred to as ”black box models” due to their enormous complexity. Because of their lack of open- ness, they are difficult to understand and trust. To address this issue and create models with results that humans can understand, a subfield of artificial intelligence (AI) known as Ex- plainable Artificial Intelligence (XAI) was created. This thesis aims to provide an in-depth examination of XAI techniques as well as propose new approaches. We propose the Dis- criminitve Attention Guided Convolutional Neural Network (DAG-CNN), which focuses on lesion regions when making diagnoses and compares similarities between cases for thorax disease classification. This approach showed promising results with competitive accuracy and more explanation in comparison to other state-of-the-art solutions. We also proposed a grey-box model based on semi-supervised methodology utilizing a self-labeling framework that combines the advantages of both black-box and white-box models. The proposed self- labeling Grey-Box shows an accurate black-box classifier for labeling the unlabeled data and a white-box surrogate classifier for building an interpretable model.Côte titre : MAI/0575 En ligne : https://drive.google.com/file/d/1Qf6_zEg10-4tItJ2LU3ek8BrGRtkZE6M/view?usp=share [...] Format de la ressource électronique : Assessment explanation approaches for black box models [texte imprimé] / Khaled Bouabdallah, Auteur ; Seddik Boudissa, Auteur ; Ahlem Drif, Directeur de thèse . - 2022 . - 1 vol (79 f .) ; 29cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Artificial Intelligence
Explainable Artificial IntelligenceIndex. décimale : 004 Informatique Résumé :
Machine learning models, particularly deep learning models, are frequently referred to as ”black box models” due to their enormous complexity. Because of their lack of open- ness, they are difficult to understand and trust. To address this issue and create models with results that humans can understand, a subfield of artificial intelligence (AI) known as Ex- plainable Artificial Intelligence (XAI) was created. This thesis aims to provide an in-depth examination of XAI techniques as well as propose new approaches. We propose the Dis- criminitve Attention Guided Convolutional Neural Network (DAG-CNN), which focuses on lesion regions when making diagnoses and compares similarities between cases for thorax disease classification. This approach showed promising results with competitive accuracy and more explanation in comparison to other state-of-the-art solutions. We also proposed a grey-box model based on semi-supervised methodology utilizing a self-labeling framework that combines the advantages of both black-box and white-box models. The proposed self- labeling Grey-Box shows an accurate black-box classifier for labeling the unlabeled data and a white-box surrogate classifier for building an interpretable model.Côte titre : MAI/0575 En ligne : https://drive.google.com/file/d/1Qf6_zEg10-4tItJ2LU3ek8BrGRtkZE6M/view?usp=share [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0575 MAI/0575 Mémoire Bibliothéque des sciences Anglais Disponible
Disponible
Titre : Assistance in specifying temporal properties Type de document : texte imprimé Auteurs : Manel Roubache, Auteur ; Rania Kraouchi, Auteur ; Abdelkader Bouamari, Directeur de thèse Année de publication : 2022 Importance : 1 vol (77 f .) Format : 29cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Informatique Index. décimale : 004 Informatique Côte titre : MAI/0618 En ligne : https://drive.google.com/file/d/156Mo4rtqAtdwiX4bPg8ovTI2ozJoeOud/view?usp=share [...] Format de la ressource électronique : Assistance in specifying temporal properties [texte imprimé] / Manel Roubache, Auteur ; Rania Kraouchi, Auteur ; Abdelkader Bouamari, Directeur de thèse . - 2022 . - 1 vol (77 f .) ; 29cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Informatique Index. décimale : 004 Informatique Côte titre : MAI/0618 En ligne : https://drive.google.com/file/d/156Mo4rtqAtdwiX4bPg8ovTI2ozJoeOud/view?usp=share [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0618 MAI/0618 Mémoire Bibliothéque des sciences Anglais Disponible
Disponible
Titre : Assistant de spécification de propriétés a base d’ontologie Type de document : texte imprimé Auteurs : MEGUELATI ,Khadidja ; BOUAMARI,A, Directeur de thèse Editeur : Setif:UFA Année de publication : 2016 Importance : 1 vol (91f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Génie Logiciel
model-cheking
logique temporelle
patterns de spécification
ontologieIndex. décimale : 004 Informatique Résumé : Résumé
La spécification de propriétés à vérifier dans le cadre d’une vérification formelle par
model-checking est souvent difficile et nécessite des compétences spécialisées. Ce mémoire
présente une solution d'assistance basée sur les patterns de spécification et les ontologies et
propose une conception détaillée d’une solution logicielle de spécification assistée de
propriétés CTL. Le mémoire discute également les détails de réalisation de l’outil développé
Property-Specifier et les résultats obtenus.Note de contenu : Table des matières
Introduction générale ............................................................................................... 1
Partie I : Etat de l'art
Chapitre 1 Model-Checking
1.1 Introduction................................................................................................. 3
1.2 Vérification formelle................................................................................... 3
1.3 Model-Checking ........................................................................................... 4
1.3.1 Principes du Model-Checking.............................................................. 4
1.3.2 Outils du Model-Checking ................................................................... 5
1.3.3 Problèmes du Model-Checking............................................................ 5
1.4 Techniques de spécification........................................................................ 5
1.4.1 Logiques propositionnelles.................................................................. 6
1.4.2 Logiques temporelles ........................................................................... 6
1.4.3 Logiques temporelles temporisées...................................................... 6
1.5 Logique temporelle CTL............................................................................ 7
1.5.1 Le choix de CTL................................................................................... 7
1.5.2 Constituants de CTL............................................................................ 7
1.5.3 Classes de propriétés............................................................................ 9
1.5.4 Syntaxe de CTL.................................................................................... 9
1.5.5 Sémantique de CTL ............................................................................. 9
1.6 Conclusion ................................................................................................. 10
Chapitre 2 Spécification Assistée .................................Erreur ! Signet non défini.
2.1 Introduction............................................................................................... 11
2.2 Patterns de spécification........................................................................... 12
2.2.1 Classification des patterns................................................................. 13
2.2.2 Scopes (Portées des patterns)............................................................ 14
2.3 Travaux basés sur les patterns de spécification ..................................... 14
2.3.1 Support du choix des patterns .......................................................... 14
2.3.2 Nouvelles classifications des patterns............................................... 17
2.3.3 Autre assistants................................................................................... 19
2.3.4 Bilan sur l’utilisation des patterns.................................................... 21
2.4 Utilisations des ontologies dans la spécification des exigences ............. 22
2.4.1 Bilan sur l’utilisation des ontologies................................................. 26
2.5 Conclusion ................................................................................................. 27
Chapitre 3 Ontologies............................................................................................. 28
3.1 Introduction............................................................................................... 28
3.2 Apparition des ontologies......................................................................... 29
3.3 Définitions.................................................................................................. 29
3.4 Composants d’une ontologie .................................................................... 30
2.4.1 Concepts.............................................................................................. 30
2.4.2 Relations.............................................................................................. 31
2.4.3 Axiomes et instances .......................................................................... 32
3.5 Dimensions de classification des ontologies............................................ 33
2.5.1 Typologie selon l’objet de conceptualisation ................................... 33
2.5.2 Typologie selon le niveau de détails de l’ontologie.......................... 35
2.5.3 Typologie selon le niveau de complétude ......................................... 36
2.5.4 Typologie selon le niveau du formalisme ......................................... 36
3.6 OWL : le standard du Web sémantique ................................................. 37
3.7 Construction d’une ontologie................................................................... 38
2.7.1 Étapes de construction d’une ontologie ........................................... 38
2.7.2 Principes de construction d’ontologies............................................. 39
2.7.3 Environnements et outils de modélisation ....................................... 40
3.8 Conclusion ................................................................................................. 40
Partie II : Contribution
Chapitre 4 Spécification CTL basée Ontologie ................................................... 41
4.1 Introduction............................................................................................... 41
4.2 Proposition................................................................................................. 41
4.3 Méthode de construction de l’ontologie .................................................. 42
4.4 Etapes de développement ......................................................................... 44
4.4.1 Déterminer le domaine et la portée de l’ontologie .......................... 44
4.4.2 Envisager une éventuelle réutilisation des ontologies existantes... 45
4.4.3 Énumérer les termes importants dans l’ontologie .......................... 45
4.4.4 Définir les classes et la hiérarchie des classes.................................. 48
4.4.5 Définir les propriétés des classes (les attributs)............................... 49
4.4.6 Définir les facettes des attributs........................................................ 51
4.4.7 Réaliser les instances.......................................................................... 52
4.5 Discussion................................................................................................... 52
4.6 Conclusion ................................................................................................. 53
Chapitre 5 Analyse et Conception......................................................................... 54
5.1 Introduction............................................................................................... 54
5.2 Cahier de charges...................................................................................... 54
5.2.1 Introduction ........................................................................................ 54
5.2.2 Description générale........................................................................... 55
5.2.3 Spécification des besoins.................................................................... 55
5.3 Modélisation .............................................................................................. 56
5.3.1 Modélisation des fonctionnalités....................................................... 56
5.3.2 Modélisation de la dynamique .......................................................... 60
5.3.3 Modélisation de la structure.............................................................. 65
5.3.4 Modélisation des interactions............................................................ 66
5.4 Conclusion ................................................................................................. 71
Chapitre 6 Implémentation ................................................................................... 72
6.1 Introduction............................................................................................... 72
6.2 Langages et outils...................................................................................... 72
6.2.1 Java...................................................................................................... 72
6.2.2 SQWRL............................................................................................... 73
6.2.3 Jena...................................................................................................... 73
6.2.4 Eclipse.................................................................................................. 74
6.2.5 Protégé................................................................................................. 74
6.3 Implémentation de l’ontologie ................................................................. 75
6.3.1 Édition de l’ontologie ......................................................................... 75
6.3.2 Création des concepts ........................................................................ 75
6.3.3 Création des relations........................................................................ 76
6.3.4 Création d’attributs........................................................................... 77
6.3.5 Réalisation d’instances....................................................................... 77
6.3.6 Génération du graphe ........................................................................ 78
6.3.7 Génération du code OWL ................................................................. 79
6.4 Description de « Property-Specifier » ...................................................... 79
6.4.1 Vue principale..................................................................................... 80
6.4.2 Créer un nouveau projet ................................................................... 81
6.4.3 Ouvrir un projet existant................................................................... 82
6.4.4 Sauvegarder un projet....................................................................... 82
6.4.5 Gérer une propriété ........................................................................... 83
6.4.6 Ontology Based Assistant .................................................................. 83
6.4.7 Patterns Based Assistant.................................................................... 85
6.4.8 Help...................................................................................................... 88
6.5 Conclusion ................................................................................................. 88
Conclusion générale................................................................................................ 89Côte titre : MAI/0101 En ligne : https://drive.google.com/file/d/1QMDUS_FQ8jRmAjA-EmbQAA_4LzMnraum/view?usp=shari [...] Format de la ressource électronique : Assistant de spécification de propriétés a base d’ontologie [texte imprimé] / MEGUELATI ,Khadidja ; BOUAMARI,A, Directeur de thèse . - [S.l.] : Setif:UFA, 2016 . - 1 vol (91f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Génie Logiciel
model-cheking
logique temporelle
patterns de spécification
ontologieIndex. décimale : 004 Informatique Résumé : Résumé
La spécification de propriétés à vérifier dans le cadre d’une vérification formelle par
model-checking est souvent difficile et nécessite des compétences spécialisées. Ce mémoire
présente une solution d'assistance basée sur les patterns de spécification et les ontologies et
propose une conception détaillée d’une solution logicielle de spécification assistée de
propriétés CTL. Le mémoire discute également les détails de réalisation de l’outil développé
Property-Specifier et les résultats obtenus.Note de contenu : Table des matières
Introduction générale ............................................................................................... 1
Partie I : Etat de l'art
Chapitre 1 Model-Checking
1.1 Introduction................................................................................................. 3
1.2 Vérification formelle................................................................................... 3
1.3 Model-Checking ........................................................................................... 4
1.3.1 Principes du Model-Checking.............................................................. 4
1.3.2 Outils du Model-Checking ................................................................... 5
1.3.3 Problèmes du Model-Checking............................................................ 5
1.4 Techniques de spécification........................................................................ 5
1.4.1 Logiques propositionnelles.................................................................. 6
1.4.2 Logiques temporelles ........................................................................... 6
1.4.3 Logiques temporelles temporisées...................................................... 6
1.5 Logique temporelle CTL............................................................................ 7
1.5.1 Le choix de CTL................................................................................... 7
1.5.2 Constituants de CTL............................................................................ 7
1.5.3 Classes de propriétés............................................................................ 9
1.5.4 Syntaxe de CTL.................................................................................... 9
1.5.5 Sémantique de CTL ............................................................................. 9
1.6 Conclusion ................................................................................................. 10
Chapitre 2 Spécification Assistée .................................Erreur ! Signet non défini.
2.1 Introduction............................................................................................... 11
2.2 Patterns de spécification........................................................................... 12
2.2.1 Classification des patterns................................................................. 13
2.2.2 Scopes (Portées des patterns)............................................................ 14
2.3 Travaux basés sur les patterns de spécification ..................................... 14
2.3.1 Support du choix des patterns .......................................................... 14
2.3.2 Nouvelles classifications des patterns............................................... 17
2.3.3 Autre assistants................................................................................... 19
2.3.4 Bilan sur l’utilisation des patterns.................................................... 21
2.4 Utilisations des ontologies dans la spécification des exigences ............. 22
2.4.1 Bilan sur l’utilisation des ontologies................................................. 26
2.5 Conclusion ................................................................................................. 27
Chapitre 3 Ontologies............................................................................................. 28
3.1 Introduction............................................................................................... 28
3.2 Apparition des ontologies......................................................................... 29
3.3 Définitions.................................................................................................. 29
3.4 Composants d’une ontologie .................................................................... 30
2.4.1 Concepts.............................................................................................. 30
2.4.2 Relations.............................................................................................. 31
2.4.3 Axiomes et instances .......................................................................... 32
3.5 Dimensions de classification des ontologies............................................ 33
2.5.1 Typologie selon l’objet de conceptualisation ................................... 33
2.5.2 Typologie selon le niveau de détails de l’ontologie.......................... 35
2.5.3 Typologie selon le niveau de complétude ......................................... 36
2.5.4 Typologie selon le niveau du formalisme ......................................... 36
3.6 OWL : le standard du Web sémantique ................................................. 37
3.7 Construction d’une ontologie................................................................... 38
2.7.1 Étapes de construction d’une ontologie ........................................... 38
2.7.2 Principes de construction d’ontologies............................................. 39
2.7.3 Environnements et outils de modélisation ....................................... 40
3.8 Conclusion ................................................................................................. 40
Partie II : Contribution
Chapitre 4 Spécification CTL basée Ontologie ................................................... 41
4.1 Introduction............................................................................................... 41
4.2 Proposition................................................................................................. 41
4.3 Méthode de construction de l’ontologie .................................................. 42
4.4 Etapes de développement ......................................................................... 44
4.4.1 Déterminer le domaine et la portée de l’ontologie .......................... 44
4.4.2 Envisager une éventuelle réutilisation des ontologies existantes... 45
4.4.3 Énumérer les termes importants dans l’ontologie .......................... 45
4.4.4 Définir les classes et la hiérarchie des classes.................................. 48
4.4.5 Définir les propriétés des classes (les attributs)............................... 49
4.4.6 Définir les facettes des attributs........................................................ 51
4.4.7 Réaliser les instances.......................................................................... 52
4.5 Discussion................................................................................................... 52
4.6 Conclusion ................................................................................................. 53
Chapitre 5 Analyse et Conception......................................................................... 54
5.1 Introduction............................................................................................... 54
5.2 Cahier de charges...................................................................................... 54
5.2.1 Introduction ........................................................................................ 54
5.2.2 Description générale........................................................................... 55
5.2.3 Spécification des besoins.................................................................... 55
5.3 Modélisation .............................................................................................. 56
5.3.1 Modélisation des fonctionnalités....................................................... 56
5.3.2 Modélisation de la dynamique .......................................................... 60
5.3.3 Modélisation de la structure.............................................................. 65
5.3.4 Modélisation des interactions............................................................ 66
5.4 Conclusion ................................................................................................. 71
Chapitre 6 Implémentation ................................................................................... 72
6.1 Introduction............................................................................................... 72
6.2 Langages et outils...................................................................................... 72
6.2.1 Java...................................................................................................... 72
6.2.2 SQWRL............................................................................................... 73
6.2.3 Jena...................................................................................................... 73
6.2.4 Eclipse.................................................................................................. 74
6.2.5 Protégé................................................................................................. 74
6.3 Implémentation de l’ontologie ................................................................. 75
6.3.1 Édition de l’ontologie ......................................................................... 75
6.3.2 Création des concepts ........................................................................ 75
6.3.3 Création des relations........................................................................ 76
6.3.4 Création d’attributs........................................................................... 77
6.3.5 Réalisation d’instances....................................................................... 77
6.3.6 Génération du graphe ........................................................................ 78
6.3.7 Génération du code OWL ................................................................. 79
6.4 Description de « Property-Specifier » ...................................................... 79
6.4.1 Vue principale..................................................................................... 80
6.4.2 Créer un nouveau projet ................................................................... 81
6.4.3 Ouvrir un projet existant................................................................... 82
6.4.4 Sauvegarder un projet....................................................................... 82
6.4.5 Gérer une propriété ........................................................................... 83
6.4.6 Ontology Based Assistant .................................................................. 83
6.4.7 Patterns Based Assistant.................................................................... 85
6.4.8 Help...................................................................................................... 88
6.5 Conclusion ................................................................................................. 88
Conclusion générale................................................................................................ 89Côte titre : MAI/0101 En ligne : https://drive.google.com/file/d/1QMDUS_FQ8jRmAjA-EmbQAA_4LzMnraum/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0101 MAI/0101 Mémoire Bibliothéque des sciences Français Disponible
DisponibleAttention-Based Deep Convolutional Neural Network Versus Transfer Learning for Medical Image Classification and Disease Diagnosis / Maroua Azouz
Titre : Attention-Based Deep Convolutional Neural Network Versus Transfer Learning for Medical Image Classification and Disease Diagnosis Type de document : texte imprimé Auteurs : Maroua Azouz, Auteur ; Nour Deghoul, Auteur ; Abdelouahab Moussaoui, Directeur de thèse Année de publication : 2022 Importance : 1 vol (94 f .) Format : 29cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Transfer Learning
Image Classification
ViTIndex. décimale : 004 Informatique Résumé :
Cancer is a disease in which some of the body’s cells grow uncontrollably and spread
to other parts of the body. recently the most two common type of diseases in our city
Setif are Skin cancer and nodules in thyroid gland cancer. Skin Cancer Is the Cancer
You Can See, this sentence is the the motto of Skin Cancer Foundation .When strange
grains appear in the patient’s skin, he cannot differentiate whether it is cancer or just
simple skin ulcers, so in most cases it is not detected except in advanced stages of the
disease . Most patients with nodules in the thyroid gland are afraid to turning these
nodes into cancerous masses, and with the spread of this disease in recent years, this
question has become a concern for all patients.
Recently, the world has become highly focused on deep learning and classification
of medical images by building stable models in computer aided diagnosis [8], most often
the model is using Convolutional neural networks. Now we propose a model based
on the attention mechanism that based on the most important features in the image.
The attention mechanism contributes to increasing the effectiveness of the model and
achieving a better classification. The aim of this study is to improve the accuracy of a
computer-aided diagnosis approach that medical professionals can easily use as an aid.
In this thesis, we proposed the use of the transformer and transfer-learning mechanism
to detect and classify skin cancer diseases and the type of thyroid nodules(benign or malignant).
We collected features from three types of pre-trained models, EfficientNetB7,
VGGNet16, Xception as feature extraction roles. Then as using the features as input to
Vision Transformer (ViT) and then using neural networks for classification.As a result,
the proposed approach achieved accuracy of 83.74% for skin dataset and 76.18% for
thyroid dataset, and an other similar model using CNN model proposed by us is achieve
92.95% of accuracy for skin dataset and 88.18% of accuracy for thyroid dataset . We
proposed, also the of use transfer learning for develop the pre trained model and applied
the same datasets on ResNet50 and our new ResNet50,these models achieve 67.66%,
98.89% respectively for skin cancer data set and they achieve 67.03%, 90.97% respectively
by the use of thyroid dataset.Côte titre : MAI/0587 En ligne : https://drive.google.com/file/d/1x9lI7fG4IlSYzf0xGs-E7AL9ynLyGu1h/view?usp=share [...] Format de la ressource électronique : Attention-Based Deep Convolutional Neural Network Versus Transfer Learning for Medical Image Classification and Disease Diagnosis [texte imprimé] / Maroua Azouz, Auteur ; Nour Deghoul, Auteur ; Abdelouahab Moussaoui, Directeur de thèse . - 2022 . - 1 vol (94 f .) ; 29cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Transfer Learning
Image Classification
ViTIndex. décimale : 004 Informatique Résumé :
Cancer is a disease in which some of the body’s cells grow uncontrollably and spread
to other parts of the body. recently the most two common type of diseases in our city
Setif are Skin cancer and nodules in thyroid gland cancer. Skin Cancer Is the Cancer
You Can See, this sentence is the the motto of Skin Cancer Foundation .When strange
grains appear in the patient’s skin, he cannot differentiate whether it is cancer or just
simple skin ulcers, so in most cases it is not detected except in advanced stages of the
disease . Most patients with nodules in the thyroid gland are afraid to turning these
nodes into cancerous masses, and with the spread of this disease in recent years, this
question has become a concern for all patients.
Recently, the world has become highly focused on deep learning and classification
of medical images by building stable models in computer aided diagnosis [8], most often
the model is using Convolutional neural networks. Now we propose a model based
on the attention mechanism that based on the most important features in the image.
The attention mechanism contributes to increasing the effectiveness of the model and
achieving a better classification. The aim of this study is to improve the accuracy of a
computer-aided diagnosis approach that medical professionals can easily use as an aid.
In this thesis, we proposed the use of the transformer and transfer-learning mechanism
to detect and classify skin cancer diseases and the type of thyroid nodules(benign or malignant).
We collected features from three types of pre-trained models, EfficientNetB7,
VGGNet16, Xception as feature extraction roles. Then as using the features as input to
Vision Transformer (ViT) and then using neural networks for classification.As a result,
the proposed approach achieved accuracy of 83.74% for skin dataset and 76.18% for
thyroid dataset, and an other similar model using CNN model proposed by us is achieve
92.95% of accuracy for skin dataset and 88.18% of accuracy for thyroid dataset . We
proposed, also the of use transfer learning for develop the pre trained model and applied
the same datasets on ResNet50 and our new ResNet50,these models achieve 67.66%,
98.89% respectively for skin cancer data set and they achieve 67.03%, 90.97% respectively
by the use of thyroid dataset.Côte titre : MAI/0587 En ligne : https://drive.google.com/file/d/1x9lI7fG4IlSYzf0xGs-E7AL9ynLyGu1h/view?usp=share [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0587 MAI/0587 Mémoire Bibliothéque des sciences Anglais Disponible
Disponible
Titre : Authentication in Internet of Things Type de document : texte imprimé Auteurs : Nahnah ,Oussama, Auteur ; Sarra Cherbal, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (62 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Authentication
Internet of thingsIndex. décimale : 004 - Informatique Résumé :
Internet of things connect unlimited number of heterogeneous devices in order to
facilitate services and hence touching most of daily life elds. However, security
concerns are a major obstacle to the development and rapid deployment of this high
technology. Thus, securing the authentication process has become very important,
as it is necessary to prove the legitimacy of the communication devices. Recently,
researchers are proposing several mutual authentication and session key agreement
protocols.
In this regard, we propose our own improved protocol, that relies on login, mutual
authentication and the agreement of session key in a safety way to secure commu-
nications. For the security evaluation of the proposal, we use the authentication
BAN logic and the widely used AVISPA tool. The results prove the achievement of
mutual authentication and session key agreement securely. In addition to its safety
against some known attacks as eavesdropping and replay attacks. For a performance
evaluation, we compare the proposal with recent related works in terms of compu-
tational and communication costs. The results show the lightness of our protocol
and thus itsCôte titre : MAI/0465 En ligne : https://drive.google.com/file/d/12DfhgXXa6Fn5BSS_xHbd9O3leT_IVIXY/view?usp=shari [...] Format de la ressource électronique : Authentication in Internet of Things [texte imprimé] / Nahnah ,Oussama, Auteur ; Sarra Cherbal, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (62 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Authentication
Internet of thingsIndex. décimale : 004 - Informatique Résumé :
Internet of things connect unlimited number of heterogeneous devices in order to
facilitate services and hence touching most of daily life elds. However, security
concerns are a major obstacle to the development and rapid deployment of this high
technology. Thus, securing the authentication process has become very important,
as it is necessary to prove the legitimacy of the communication devices. Recently,
researchers are proposing several mutual authentication and session key agreement
protocols.
In this regard, we propose our own improved protocol, that relies on login, mutual
authentication and the agreement of session key in a safety way to secure commu-
nications. For the security evaluation of the proposal, we use the authentication
BAN logic and the widely used AVISPA tool. The results prove the achievement of
mutual authentication and session key agreement securely. In addition to its safety
against some known attacks as eavesdropping and replay attacks. For a performance
evaluation, we compare the proposal with recent related works in terms of compu-
tational and communication costs. The results show the lightness of our protocol
and thus itsCôte titre : MAI/0465 En ligne : https://drive.google.com/file/d/12DfhgXXa6Fn5BSS_xHbd9O3leT_IVIXY/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0465 MAI/0465 Mémoire Bibliothéque des sciences Français Disponible
DisponiblePermalinkAuthor profiling for Algerian social media users in Modern standard Arabic and Algerian dialect / Khenafi, Amani
PermalinkPermalinkL'auto-organisation et l’équilibrage de la charge pour la préservation de la couverture dans les WSNs. / Doudou, Roumaissa
PermalinkPermalinkPermalinkL'Automatisation des chaines d'approvisionnement en utilisation l'orchestration des services web / BOUZOUIKA, Safia
PermalinkBases de données floues / Drif, nour el-imane
PermalinkPermalinkPermalink