Vers un environnement logiciel générique et ouvert pour le développement d'applications NFC sécurisées

Towards a generic and open software environment for the development of Secure NFC applications

• Auteur / Autrice : Anne-Marie Lesas
• Direction : Omar Boucelma, Serge Miranda
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques et informatique. Informatique
• Date : Soutenance le 14/09/2017
• Etablissement(s) : Aix-Marseille
• Ecole(s) doctorale(s) : Ecole doctorale Mathématiques et Informatique de Marseille (Marseille ; 1994-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire des sciences de l'information et des systèmes (Marseille)
• Jury : Président / Présidente : Richard Chbeir
• Jury : Examinateurs / Examinatrices : Serge Miranda, Thierry Delot, Stuart E. Madnick, Jean-Pierre Tual
• Jury : Rapporteurs / Rapporteuses : Pierre Paradinas

Mots clés

Mots clés contrôlés

Systèmes informatiques -- Mesures de sûreté

Programmation générique

SQL (langage de programmation)

Communication en champ proche

Mots clés libres

Cartes à puce

Communication en champ proche (NFC)

Transactions sécurisées

Systèmes et applications mobiquitaires

Langage de requêtes SQL

Modules et interfaces

Smartcard

Near Field communication (NFC)

Secure transactions

Mobile Systems and Applications

Query Language SQL

Modules and interfaces

Résumé

Dans le domaine des transactions et du paiement électronique avec une carte à puce, le standard de communication en champ proche « Near Field Communication » (NFC) s’est imposé comme la technologie des transactions sans contact mobiles sécurisées pour le paiement, le contrôle d’accès, ou l’authentification. Les services sans contact mobiles sécurisés sont basés sur le mode émulation de carte du standard NFC qui implique une composante matérielle à accès restreint de type carte à puce appelée « Secure Element » (SE) dans laquelle sont stockées les données confidentielles et les fonctions sensibles. Malgré les efforts de standardisation de l'écosystème, les modèles proposés pour la mise en œuvre du SE sont complexes et souffrent du manque de généricité, à la fois pour offrir des mécanismes d’abstraction, pour le développement d’applications de haut niveau, et pour la mise en œuvre et la vérification des contraintes de sécurité des applications.L’objectif de la thèse est de concevoir et réaliser un environnement logiciel basé sur un modèle générique compatible avec les standards établis et peu sensible aux évolutions technologiques. Cet environnement devrait permettre à des non-experts de développer des applications multiplateformes, multimodes, multi-facteurs de forme, qui s’interfacent avec le SE dans un smartphone NFC.

In the field of electronic transactions and payment with a smart card, the Near Field Communication (NFC) standard has stood out against other candidate technologies for secure mobile contactless transactions for payment, access control, or authentication. Secure mobile contactless services are based on the card emulation mode of the NFC standard which involves a smart card type component with restricted access called "Secure Element" (SE) in which sensitive data and sensitive functions are securely stored and run. Despite considerable standardization efforts around the SE ecosystem, the proposed models for the implementation of SE are complex and suffer from the lack of genericity, both to offer abstraction mechanisms, for the development of high-level applications, and for the implementation and verification of applications security constraints.The objective of the thesis is to design and realize a software environment based on a generic model that complies with established standards and which is not very sensitive to technological evolutions. This environment should enable non-experts to develop multi-platform, multi-mode, multi-factor SE-based applications running into the NFC smartphone.