Buscas alternativas:
"verification" » "verificacao" (Expandir a busca), "verificado" (Expandir a busca), "verificamos" (Expandir a busca)
"verification" » "verificacao" (Expandir a busca), "verificado" (Expandir a busca), "verificamos" (Expandir a busca)
1
Assuntos:
“...Automated verification of security protocols...”
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
Dissertação