skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Cortier, Véronique ; Kremer, Steve ; Warinschi, Bogdan

Journal of automated reasoning, 2011-04, Vol.46 (3-4), p.225-259 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Ver todas as versões
Citações Citado por
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  7 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.