Automatic implementation system of security protocols based on formal description techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Luis Mengual' in GoogleThis author has not been identified. Look up 'Nicolás Barcia' in GoogleThis author has not been identified. Look up 'Ernesto Jiménez' in GoogleThis author has not been identified. Look up 'Ernestina Menasalvas Ruiz' in GoogleThis author has not been identified. Look up 'Julio Setién' in GoogleThis author has not been identified. Look up 'Javier Yágüez' in Google

runs on WebDSL