Interseção privada de conjuntos com e sem terceira parte confiável utilizando Paillier

Dissertação (mestrado) — Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2016.

Main Author: Macedo, Vitor Veneza Quimas
Other Authors: Nascimento, Anderson Clayton Alves
Format: Dissertação
Language: Português
Published: 2017
Subjects:
Online Access: http://repositorio.unb.br/handle/10482/23056
http://dx.doi.org/10.26512/2016.12.D.23056
Tags: Add Tag
No Tags, Be the first to tag this record!
id ir-10482-23056
recordtype dspace
spelling ir-10482-230562021-11-24T02:03:24Z Interseção privada de conjuntos com e sem terceira parte confiável utilizando Paillier Private set intersection with and without a trusted third party applying Paillier Macedo, Vitor Veneza Quimas Nascimento, Anderson Clayton Alves Computação Polinômios Sistema criptográfico Paillier Interseção privada de conjuntos Dissertação (mestrado) — Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2016. O objetivo do presente trabalho é provar a segurança e eficiência de um protocolo que implementa a interseção privada de conjuntos (Private Set Intersection - PSI) entre dois participantes, Alice e Bob. Neste protocolo Bob possui um conjunto de elementos e deseja saber se este pertence ao conjunto de pontos de Alice, sem, no entanto, Alice saber nada sobre o resultado e Bob não saber nada além da interseção e o tamanho do conjunto de Alice. Para tanto é utilizada, numa primeira abordagem, a avaliação inconsciente de polinômio (ObliviousPolynomialEvaluation) com o uso de uma Terceira Parte Confiável (TPC), conseguindo obter dessa forma a segurança incondicional, em ambientes estáticos, contra adversários ativos. Na sequência é apresentada uma segunda versão do protocolo onde Alice e Bob simulam o papel da TPC, através do uso do algoritmo criptográfico homomórfico de Paillier, porém neste caso obtendo segurança computacional, em ambientes estáticos, contra adversário passivos. Por último é apresentada uma terceira versão do protocolo onde Alice e Bob, sem uma TPC, em uma única fase, usando o algoritmo criptográfico homomórfico de Paillier, em que Bob consegue testar um conjunto com mais do que apenas um elemento, obtendo novamente segurança computacional, em ambientes estáticos, contra adversário passivos Considerando as pesquisas bibliográficas realizadas, este é o primeiro protocolo que implementa a interseção privada de conjuntos provado incondicionalmente seguro no modelo Composto Universalmente (UniversallyComposable - UC). The present paper goal is to prove the security and efficiency of a protocol that implements private set intersection – PSI between two players, Alice and Bob. Bob possess a set of elements and wishes to know if any of these elements belongs also in Alice set of elements, without, however, Alice knowing anything about the intersection and Bob knowing nothing besides the intersection and the size of Alice set. To conquer this objective, it is used, at a first approach, the oblivious polynomial evaluation using a Trusted Third Party (TTP), which achieves unconditional security, in static environments, against active adversaries. Moreover, it is presented a second version of the protocol where Alice and Bob simulate the TTP role through the use of Paillier homomorphic cryptography algorithm, but in this scenario it is achieved computational security, in static environments, against passive adversaries. At last, it is presented a third version of the protocol, without a TTP, still using Paillier homomorphic cryptography algorithm, where it is possible to test Bob set with more than one element, with the same security level as of the second version. Considering the previous bibliographic research, this is the first protocol that implements private set intersection proved unconditional secure in the Universally Composable - UC -model. 2017-03-24T19:03:33Z 2017-03-24T19:03:33Z 2017-03-24 2016-12-05 Dissertação MACEDO, Vitor Veneza Quimas. Interseção privada de conjuntos com e sem terceira parte confiável utilizando Paillier. 2016. x, 62 f., il. Dissertação (Mestrado em Engenharia Elétrica) — Universidade de Brasília, Brasília, 2016. http://repositorio.unb.br/handle/10482/23056 http://dx.doi.org/10.26512/2016.12.D.23056 Português Acesso Aberto A 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. application/pdf
institution REPOSITORIO UNB
collection REPOSITORIO UNB
language Português
topic Computação
Polinômios
Sistema criptográfico Paillier
Interseção privada de conjuntos
spellingShingle Computação
Polinômios
Sistema criptográfico Paillier
Interseção privada de conjuntos
Macedo, Vitor Veneza Quimas
Interseção privada de conjuntos com e sem terceira parte confiável utilizando Paillier
description Dissertação (mestrado) — Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2016.
author2 Nascimento, Anderson Clayton Alves
format Dissertação
author Macedo, Vitor Veneza Quimas
author_sort Macedo, Vitor Veneza Quimas
title Interseção privada de conjuntos com e sem terceira parte confiável utilizando Paillier
title_short Interseção privada de conjuntos com e sem terceira parte confiável utilizando Paillier
title_full Interseção privada de conjuntos com e sem terceira parte confiável utilizando Paillier
title_fullStr Interseção privada de conjuntos com e sem terceira parte confiável utilizando Paillier
title_full_unstemmed Interseção privada de conjuntos com e sem terceira parte confiável utilizando Paillier
title_sort interseção privada de conjuntos com e sem terceira parte confiável utilizando paillier
publishDate 2017
url http://repositorio.unb.br/handle/10482/23056
http://dx.doi.org/10.26512/2016.12.D.23056
_version_ 1721216694430466048
score 13.657419