  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.
