Modélisation et Évaluation de la Sécurité des IHM
Résumé
Human-Computer Interactions(HCI) are part of the Information System and allow
user to interact with the system. HCI allow to manipulate sensitive data such as user's
credentials. A lack of security or a dysfonctionnement of such HCI can lead to security
aws. Software testing technics can help to find problems on HCI, but they are facing
a several limits. This thesis entitled "Modeling and Assessing the HCI Security" aims at
providing new methods and tools to the software engineers in order to improve the security
of HCI.
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...