Citations:cryptoprotocols

From Wiktionary, the free dictionary
Jump to navigation Jump to search

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.
Retrieved from "https://en.wiktionary.org/w/index.php?title=Citations:cryptoprotocols&oldid=55201054"