Citations:cryptoprotocols
English citations of 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.