Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Designing and proving an EMV-compliant payment protocol for mobile devices

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • Contributors:
      Proof techniques for security protocols (PESTO); Centre Inria de l'Université de Lorraine; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM); Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA); Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA); Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS); Orange Labs Issy les Moulineaux; France Télécom; Orange Labs Caen; Orange Labs; ANR-14-CE28-0030,Sequoia,Propriété de sécurité, équivalence de processes et vérification automatique(2014); European Project: 645865,H2020 ERC,ERC-2014-CoG,SPOOC(2015)
    • بيانات النشر:
      CCSD
    • الموضوع:
      2017
    • Collection:
      Université de Lorraine: HAL
    • الموضوع:
      Paris; France
    • نبذة مختصرة :
      International audience ; We devise a payment protocol that can be securely used on mobile devices, even infected by malicious applications. Our protocol only requires a light use of Secure Elements, which significantly simplify certification procedures and protocol maintenance. It is also fully compatible with the EMV SDA protocol and allows off-line payments for the users. We provide a formal model and full security proofs of our protocol using the TAMARIN prover.
    • Relation:
      info:eu-repo/grantAgreement//645865/EU/Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols/SPOOC
    • الدخول الالكتروني :
      https://inria.hal.science/hal-01408584
      https://inria.hal.science/hal-01408584v1/document
      https://inria.hal.science/hal-01408584v1/file/00_Papier.pdf
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.6A01A50