Implementing Security Protocol Monitors
Cryptography and Security
2021-09-08 v1
Abstract
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.
Cite
@article{arxiv.2109.02802,
title = {Implementing Security Protocol Monitors},
author = {Yannick Chevalier and Michaël Rusinowitch},
journal= {arXiv preprint arXiv:2109.02802},
year = {2021}
}
Comments
In Proceedings SCSS 2021, arXiv:2109.02501