open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Filtros aplicados
Año de Publicación: "2002"
Subtipo de publicación
Conference Object
(1)
Publisher
Proceedings - IEEE Symposium on Computers and Communications
(1)
Área temáticas
Ciencias de la computación
(1)
Área de conocimiento
Software
(1)
Origen
scopus
(1)
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:
Autores:
Barcia N., Ernesto Jiménez, Menasalvas Ruiz E., Mengual L., Setién J., Yágüez J.
Fuentes:
scopus
1
1
