Bieber, P., & Boulahia Cuppens, N. (janvier 1994). Formal Development of Authentication Protocols [Communication écrite]. 6th Refinement Workshop, London, UK. Lien externe
