An Environment for the Specification and Analysis of Cryptoprotocols. - Mourad Debbabi; Y. Legaré; Mohamed Mejri (ACSAC, 1998)