1. Introduction
Security protocols are “communication protocols dedicated to achieving security goals” (C.J.F. Cremers and S. Mauw) [1] such as confidentiality, integrity or availability. Achieving such security goals is made through the use of cryptography.