Unificação assimétrica módulo operadores nilpotentes com homomorfismo

Detalhes bibliográficos
Ano de defesa: 2017
Autor(a) principal: Delboni, Bruno de Assis
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Álgebra abstrata
Unificação assimétrica
Solução de problemas
Teoria da computação
Link de acesso: http://repositorio.unb.br/handle/10482/24161
http://dx.doi.org/10.26512/2017.03.D.24161
Resumo: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2017.
id UNB_5f40167f26f462a82c19a807804678d2
oai_identifier_str oai:repositorio.unb.br:10482/24161
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling Unificação assimétrica módulo operadores nilpotentes com homomorfismoÁlgebra abstrataUnificação assimétricaSolução de problemasTeoria da computaçãoDissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2017.Esta dissertação tem como foco o estudo do problema de unificação módulo uma teoria equacional cuja assinatura contém um operador binário que satisfaz as identidades Associatividade, Comutatividade, Unidade e Nilpotência (ACUN), e que pode ou não conter um operador unário que satisfaz a identidade de homomorfismo (ACUNh), que é a teoria equacional do operador , amplamente utilizado em diversas ferramentas criptográficas, como MAUDE-NPA[10] que utiliza uma encriptação de grupos abelianos, incluindo ( ou exclusivo ), exponenciação e encriptação homomórfica. Primeiro apresentaremos alguns critérios para existência de soluções para problemas de ACUN(h)-unificação elementar com constantes que consiste em associar o problema de unificação à um sistema de equações lineares cujos coeficientes são elementos de ou , dependendo se o homomorfismo é ou não considerado. Segundo, apresentaremos um algoritmo para resolver problemas de ACUN(h)- unificação geral que retorna sempre um conjunto completo de unificadores. Finalmente, apresentaremos o estudo de um novo paradigma de unificação, a dizer, \emph{unificação assimétrica}, que consiste de obter unificadores de um problema de unificação com a propriedade de preservar formas normais do lado direito de cada equação de com relação a um sistema de reescrita convergente e coerente módulo uma teoria equacional . No caso particular da teoria equacional ACUN construiremos um algoritmo de conversão de ACUN-unificadores para ACUN-unificadores assimétricos.This dissertation focuses on the study of unification problems modulo an equational theory whose signature contains a binary operator , which satisfies the identities of Associativity, Commutativity, Unity and Nilpotence (ACUN), and which may or not contain a unary operator satisfying the homomorphism identity (ACUNh), which is the equational theory for the operator XOR, Widely used on many cryptographic tools, like MAUDE[10], which uses group encryption, including XOR ( exclusive or ), exponentiation and homomorphic encryption. First we will present some criteria to the existence of solutions for elementary with constants ACUN(h)-unification problems which consist of associating a unification problem to a linear equation system whose coefficients are elements of or , depending one we are considering homomorphism or not. Second, we will present an algorithm to solve general ACUNh-unification problems which always returns a complete set of most general unifiers. Finally, we will present the study of a new unification paradigm, to say so, asymmetric unification, which consist of obtaining unifiers from the unification problem , with the property of preserving the normal form from of the right hand side of each equation in , considering a convergent and coherent rewriting system. In the particular case of the equational theory ACUN, we will also present an algorithm which takes as input ACUN-unifiers and outputs ACUN-asymmetric unifiers.Instituto de Ciências Exatas (IE)Departamento de Matemática (IE MAT)Programa de Pós-Graduação em MatemáticaSobrinho, Daniele NantesDelboni, Bruno de Assis2017-08-17T15:39:39Z2017-08-17T15:39:39Z2017-08-172017-03-06info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfDELBONI, Bruno de Assis. Unificação assimétrica módulo operadores nilpotentes com homomorfismo. 2017. 153 f., il. Dissertação (Mestrado em Matemática)—Universidade de Brasília, Brasília, 2017.http://repositorio.unb.br/handle/10482/24161http://dx.doi.org/10.26512/2017.03.D.24161A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2024-03-01T16:27:18Zoai:repositorio.unb.br:10482/24161Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2024-03-01T16:27:18Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.none.fl_str_mv Unificação assimétrica módulo operadores nilpotentes com homomorfismo
title Unificação assimétrica módulo operadores nilpotentes com homomorfismo
spellingShingle Unificação assimétrica módulo operadores nilpotentes com homomorfismo
Delboni, Bruno de Assis
Álgebra abstrata
Unificação assimétrica
Solução de problemas
Teoria da computação
title_short Unificação assimétrica módulo operadores nilpotentes com homomorfismo
title_full Unificação assimétrica módulo operadores nilpotentes com homomorfismo
title_fullStr Unificação assimétrica módulo operadores nilpotentes com homomorfismo
title_full_unstemmed Unificação assimétrica módulo operadores nilpotentes com homomorfismo
title_sort Unificação assimétrica módulo operadores nilpotentes com homomorfismo
author Delboni, Bruno de Assis
author_facet Delboni, Bruno de Assis
author_role author
dc.contributor.none.fl_str_mv Sobrinho, Daniele Nantes
dc.contributor.author.fl_str_mv Delboni, Bruno de Assis
dc.subject.por.fl_str_mv Álgebra abstrata
Unificação assimétrica
Solução de problemas
Teoria da computação
topic Álgebra abstrata
Unificação assimétrica
Solução de problemas
Teoria da computação
description Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2017.
publishDate 2017
dc.date.none.fl_str_mv 2017-08-17T15:39:39Z
2017-08-17T15:39:39Z
2017-08-17
2017-03-06
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv DELBONI, Bruno de Assis. Unificação assimétrica módulo operadores nilpotentes com homomorfismo. 2017. 153 f., il. Dissertação (Mestrado em Matemática)—Universidade de Brasília, Brasília, 2017.
http://repositorio.unb.br/handle/10482/24161
http://dx.doi.org/10.26512/2017.03.D.24161
identifier_str_mv DELBONI, Bruno de Assis. Unificação assimétrica módulo operadores nilpotentes com homomorfismo. 2017. 153 f., il. Dissertação (Mestrado em Matemática)—Universidade de Brasília, Brasília, 2017.
url http://repositorio.unb.br/handle/10482/24161
http://dx.doi.org/10.26512/2017.03.D.24161
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Repositório Institucional da UnB
collection Repositório Institucional da UnB
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv repositorio@unb.br
_version_ 1839083738383777792

Registros relacionados