학술논문
Implementing Security Protocol Monitors
Document Type
Working Paper
Source
EPTCS 342, 2021, pp. 22-34
Subject
Language
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.
Comment: In Proceedings SCSS 2021, arXiv:2109.02501
Comment: In Proceedings SCSS 2021, arXiv:2109.02501