skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Busca Geral
Busca Avançada
Busca por Índices

Automated analysis of security protocols with global state

Kremer, Steve ; Künnemann, Robert

Journal of computer security, 2016-01, Vol.24 (5), p.583-616 [Periódico revisado por pares]

IOS Press

Texto completo disponível

Ver todas as versões
Citações Citado por
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  6 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.