Luis Mengual, Nicolás Barcia, Ernesto Jiménez, Ernestina Menasalvas Ruiz, Julio Setién, Javier Yágüez. Automatic implementation system of security protocols based on formal description techniques. In Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 1-4 July 2002, Taormina, Italy. pages 355-360, IEEE Computer Society, 2002. [doi]
Abstract is missing.