Automatic implementation system of security protocols based on formal description techniques - Mengual, L; Barcia, N; Jiménez, E; Menasalvas, E; Setién, J; Yágüez, J (Proceedings - International Symposium On Computers And Communications, 2002)