Implementing Security Protocol Monitors - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Implementing Security Protocol Monitors

Résumé

Cryptographic protocols are often specified by narrations, i.e., finite sequences of message exchanges that show the intended execution of the protocol. Another use of narrations is to describe attacks. We propose in this paper to compile, when possible, attack describing narrations into a set of tests that honest participants can perform to exclude these executions. These tests can be implemented in monitors to protect existing implementations from rogue behaviour.
Fichier principal
Vignette du fichier
eptcs.pdf (157.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03463789 , version 1 (02-12-2021)

Identifiants

Citer

Yannick Chevalier, Michaël Rusinowitch. Implementing Security Protocol Monitors. SCSS 2021 - 9th International Symposium on Symbolic Computation in Software Science, Sep 2021, Linz/virtual, Austria. pp.22-34, ⟨10.4204/EPTCS.342.3⟩. ⟨hal-03463789⟩
40 Consultations
43 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More