"Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation."

Joana Martinho, António Ravara (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics