An Environment for the Specification and Analysis of Cryptoprotocols.

Mourad Debbabi, Y. Legar, Mohamed Mejri

Browse the full ACSAC paper archive.