Specifying a Cryptographical Protocol in Lustre and SCADE - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Specifying a Cryptographical Protocol in Lustre and SCADE

Lina Marsso
  • Fonction : Auteur
  • PersonId : 1006713

Résumé

We present SCADE and Lustre models of the Message Authenticator Algorithm (MAA), which is one of the first cryptographic functions for computing a message authentication code. The MAA was adopted between 1987 and 2001, in international standards (ISO 8730 and ISO 8731-2), to ensure the authenticity and integrity of banking transactions. This paper discusses the choices and the challenges of our MAA implementations. Our SCADE and Lustre models validate 201 official test vectors for the MAA.
Fichier principal
Vignette du fichier
Marsso-20.pdf (432.72 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02556856 , version 1 (28-04-2020)

Identifiants

Citer

Lina Marsso. Specifying a Cryptographical Protocol in Lustre and SCADE. MARS 2020 - 4th Workshop on Models for Formal Analysis of Real Systems, Apr 2020, Dublin, Ireland. pp.149-199, ⟨10.4204/EPTCS.316.7⟩. ⟨hal-02556856⟩
110 Consultations
93 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More