Modélisation et Évaluation de la Sécurité des IHM

Résumé : Les Interfaces Homme-Machine (IHM) font parties intégrantes des systèmes d'infor-mation et permettent aux utilisateurs d'interagir avec le système sous-jacent. Ces IHM permettent de manipuler des informations sensibles, telles que des données personnelles de l'utilisateur. Des erreurs de fonctionnement de l'IHM ou un manque de sécurité peuvent conduire a des failles de sécurité. Les techniques de validation et de vérification logiciel peuvent aider à trouver des erreurs dans le fonctionnement des IHM. Ces techniques, cependant, font face a plusieurs limites. Dans cette thèse CIFRE, intitulée " modélisation et évaluation de la sécurité des IHM ", nous visons à répondre à ces limites en dotant les ingénieurs logiciel de nouvelles méthodes de validation et de vérification visant à améliorer la sécurité des IHM.
Type de document :
Communication dans un congrès
CIEL 2017 : 6ème Conférence en IngénieriE du Logiciel, Jun 2017, Montpellier, France. 2017
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01611324
Contributeur : Arnaud Blouin <>
Soumis le : jeudi 5 octobre 2017 - 16:37:37
Dernière modification le : mardi 21 novembre 2017 - 15:23:52

Fichier

gdrgpl17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01611324, version 1

Citation

Youssou Ndiaye, Nicolas Aillery, Olivier Barais, Arnaud Blouin, Ahmed Bouabdallah. Modélisation et Évaluation de la Sécurité des IHM. CIEL 2017 : 6ème Conférence en IngénieriE du Logiciel, Jun 2017, Montpellier, France. 2017. 〈hal-01611324〉

Partager

Métriques

Consultations de la notice

151

Téléchargements de fichiers

15