Utilização de Traços Simbólicos e SMT Solvers para a Verificação de Equivalência Observacional em Segurança e Privacidade de Protocolos
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
palavras-chave
-
Análise de Tráfego
-
Ataque de Temporização
-
Equivalência Observacional
-
Verificação Automática de Protocolos de Segurança
Identidade
identificador BrCris
-
35f34c067db20d792af405538c37596f
identificador Capes
identificador Oasisbr
-
UFPB_82db1a0a0cdffb4ccf697d7e0ad38753