Citations:cryptoprotocols


 * 2010 Marco Carbone, "Execution Models for Choreographies and Cryptoprotocols" arXiv
 * As part of a line of work devoted to generating cryptoprotocols from choreographies, we focus here on the execution models suited to the two levels.
 * At level of cryptoprotocols, we use the standard Dolev-Yao execution model, with one alteration.