- Artículo:
Analyzing security protocols with secrecy types and logic programs
- Autor:
M. Abadi
B. Blanchet
- Página:
102
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
52
- Número:
1
- Periodo:
Enero 2005
- ISSN:
00045411
- SrcID:
00045411-2005-01.txt
- Documento número 1670877
- Actualizado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Enlace directo
