Clap

?

"Clap, a Simple Language for Cryptographic Protocols", J. Goubault-Larrecq, 1997.