Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo

Detalhes bibliográficos
Autor(a) principal: GUILHERME GOMES FELIX DA SILVA
Data de Publicação: 2018
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6374230
id BRCRIS_19d97d351afec1d96f38cd4c8fdd40c7
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo
title Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo
spellingShingle Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo
proof assistant
assistente de provas
GUILHERME GOMES FELIX DA SILVA
title_short Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo
title_full Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo
title_fullStr Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo
Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo
title_full_unstemmed Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo
Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo
title_sort Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo
topic proof assistant
assistente de provas
publishDate 2018
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6374230
author_role author
author GUILHERME GOMES FELIX DA SILVA
author_facet GUILHERME GOMES FELIX DA SILVA
dc.contributor.advisor1.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/6075905438020841
dc.publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
instname_str PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
dc.publisher.program.fl_str_mv INFORMÁTICA
dc.description.course.none.fl_txt_mv INFORMÁTICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESFormalização de Algoritmos de Criptografia em um Assistente de Provas InterativoFormalização de Algoritmos de Criptografia em um Assistente de Provas InterativoFormalização de Algoritmos de Criptografia em um Assistente de Provas InterativoFormalização de Algoritmos de Criptografia em um Assistente de Provas InterativoFormalização de Algoritmos de Criptografia em um Assistente de Provas InterativoFormalização de Algoritmos de Criptografia em um Assistente de Provas InterativoFormalização de Algoritmos de Criptografia em um Assistente de Provas Interativoproof assistant2018masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6374230authorGUILHERME GOMES FELIX DA SILVAEDWARD HERMANN HAEUSLERhttp://lattes.cnpq.br/6075905438020841PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROINFORMÁTICAINFORMÁTICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv SILVA, GUILHERME GOMES FELIX DA. Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo. 2018. Tese.
dc.identifier.citation.fl_str_mv SILVA, GUILHERME GOMES FELIX DA. Formalização de Algoritmos de Criptografia em um Assistente de Provas Interativo. 2018. Tese.
_version_ 1741883648947257344

Registros relacionados