Revistas
Artículos
Publicaciones
Documentos
REVISTA
SIAM JOURNAL ON COMPUTING
TODAS
Inicio
/
SIAM JOURNAL ON COMPUTING
/
Vol: 31 Núm: 3 Par: 0 (2002)
/
Artículo
ARTÍCULO
TITULO
Proof Techniques for Cryptographic Processes
Boreale
M. De Nicola
R. Pugliese
R.
Resumen
No disponible
PÁGINAS
pp. 947 - 986
NÚMERO
Volumen: 31 Número: 3 Parte: 0 (2002)
MATERIAS
INGENIERÍA Y CONSTRUCCIÓN CIVIL
CIENCIAS EXACTAS
Revistas destacadas
Infrastructures
Informed Infraestructure
BiT
Revista de la Construcción
Ver todas las revistas