Documentos de Menasalvas Ruiz E. | REDI

Regresar

Mostrando 1 resultados de: 1

Filtros aplicados

Publisher: "Proceedings - IEEE Symposium on Computers and Communications"

Subtipo de publicación

Conference Object(1)

Área temáticas

Ciencias de la computación(1)

Área de conocimiento

Año de Publicación

Origen

Automatic implementation system of security protocols based on formal description techniques

Conference Object

Abstract: We present an automatic implementation system of security protocols based in formal description tech

Palabras claves:

Barcia N., Ernesto Jiménez, Menasalvas Ruiz E., Mengual L., Setién J., Yágüez J.