Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Criptografia
-
Especificação Algébrica
-
Métodos Formais
-
PVS
-
Prova de Teoremas
Identidade
identificador BrCris
-
16c9424fc62b4b540a71e403e282f7ae
identificador Capes
-
2008253001010054P6-Publication
identificador Oasisbr
-
UNB_685057a44d03823f0b533a28b9b0b6fe