Sistema de comunicação segura para dispositivos conectados à Internet das coisas com utilização de smart cards

Detalhes bibliográficos
Autor(a) principal: CAVALCANTE, Thiago de Oliveira
Data de Publicação: 2017
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPE
dARK ID: ark:/64986/001300000b4z4
Texto Completo: https://repositorio.ufpe.br/handle/123456789/27477
Resumo: Este trabalho tem como objetivo proteger a comunicação entre dispositivos conectados à Internet das Coisas, do inglês Internet of Things (IoT), através da integração entre microcontroladores e Smart Cards (SCs), cartões de plástico nos quais estão embutidos chips criptográficos invioláveis, atualmente utilizados em aplicações que exigem um alto nível de segurança (e.g., bancos). É proposta uma arquitetura, a qual envolve projetos de hardware e software, para um sistema que estabelece uma comunicação autenticada e criptografada, baseada no Protocolo Transport Layer Security (TLS), entre dispositivos IoT e um servidor. O foco do trabalho está em placas de desenvolvimento de baixo custo. Testes foram realizados inicialmente no Arduino UNO e o dispositivo final possui o microcontrolador ESP8266 (em específico, o módulo ESP-12E), que possui Wi-Fi integrado, o que facilita a sua inclusão na IoT, e é simples de programar. Adicionalmente, é utilizado um SC com a tecnologia Java Card, que torna mais simples o desenvolvimento e a instalação de programas (conhecidos como applets) no cartão. Nele está instalada uma versão modificada do IsoApplet, um programa open source em desenvolvimento que permite a execução de tarefas criptográficas, implementado de acordo com os padrões ISO7816. Assim, a execução de operações essenciais na implementação de uma infra-estrutura de segurança como geração de chaves, cifragem e decifragem (em ambas criptografias simétrica e assimétrica), assinatura digital e armazenamento seguro de dados (e.g., chaves secretas, certificados) é delegada pelo microcontrolador ao cartão, que possui hardware especializado. O microcontrolador, por sua vez, pode ser ligado a sensores e se conectar de forma autenticada com um servidor, enviando informações criptografadas. Por fim, demonstra-se que é possível construir um dispositivo conectado à Internet das Coisas, capaz de enviar mensagens de forma segura, a partir da integração entre microcontroladores de baixo custo e Smart Cards. Uma análise de custo do dispositivo construído, mostra que o mesmo pode ter um preço compatível com o mercado, se produzido em larga escala. Uma segunda análise, relativa ao consumo de energia da placa, mostra que, a depender do tipo de aplicação, o dispositivo pode funcionar com bateria por dias. As contribuições deste trabalho, além da fabricação do próprio dispositivo IoT, incluem o desenvolvimento de bibliotecas que habilitam a comunicação entre microcontroladores (compatíveis com Arduino) e Smart Cards e a expansão de um software open-source para Java zCards com funções criptográficas associadas ao TLS.
id UFPE_cab60e3914ad76ceb4b82e4e51fd7c88
oai_identifier_str oai:repositorio.ufpe.br:123456789/27477
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str 2221
spelling CAVALCANTE, Thiago de Oliveirahttp://lattes.cnpq.br/8764705664062209http://lattes.cnpq.br/3776300004312848SADOK, Djamel Fawzi Hadj2018-11-14T16:31:38Z2018-11-14T16:31:38Z2017-09-14https://repositorio.ufpe.br/handle/123456789/27477ark:/64986/001300000b4z4Este trabalho tem como objetivo proteger a comunicação entre dispositivos conectados à Internet das Coisas, do inglês Internet of Things (IoT), através da integração entre microcontroladores e Smart Cards (SCs), cartões de plástico nos quais estão embutidos chips criptográficos invioláveis, atualmente utilizados em aplicações que exigem um alto nível de segurança (e.g., bancos). É proposta uma arquitetura, a qual envolve projetos de hardware e software, para um sistema que estabelece uma comunicação autenticada e criptografada, baseada no Protocolo Transport Layer Security (TLS), entre dispositivos IoT e um servidor. O foco do trabalho está em placas de desenvolvimento de baixo custo. Testes foram realizados inicialmente no Arduino UNO e o dispositivo final possui o microcontrolador ESP8266 (em específico, o módulo ESP-12E), que possui Wi-Fi integrado, o que facilita a sua inclusão na IoT, e é simples de programar. Adicionalmente, é utilizado um SC com a tecnologia Java Card, que torna mais simples o desenvolvimento e a instalação de programas (conhecidos como applets) no cartão. Nele está instalada uma versão modificada do IsoApplet, um programa open source em desenvolvimento que permite a execução de tarefas criptográficas, implementado de acordo com os padrões ISO7816. Assim, a execução de operações essenciais na implementação de uma infra-estrutura de segurança como geração de chaves, cifragem e decifragem (em ambas criptografias simétrica e assimétrica), assinatura digital e armazenamento seguro de dados (e.g., chaves secretas, certificados) é delegada pelo microcontrolador ao cartão, que possui hardware especializado. O microcontrolador, por sua vez, pode ser ligado a sensores e se conectar de forma autenticada com um servidor, enviando informações criptografadas. Por fim, demonstra-se que é possível construir um dispositivo conectado à Internet das Coisas, capaz de enviar mensagens de forma segura, a partir da integração entre microcontroladores de baixo custo e Smart Cards. Uma análise de custo do dispositivo construído, mostra que o mesmo pode ter um preço compatível com o mercado, se produzido em larga escala. Uma segunda análise, relativa ao consumo de energia da placa, mostra que, a depender do tipo de aplicação, o dispositivo pode funcionar com bateria por dias. As contribuições deste trabalho, além da fabricação do próprio dispositivo IoT, incluem o desenvolvimento de bibliotecas que habilitam a comunicação entre microcontroladores (compatíveis com Arduino) e Smart Cards e a expansão de um software open-source para Java zCards com funções criptográficas associadas ao TLS.CNPqThis work aims to secure the communication between devices connected to the Internet of Things (IoT) by integrating microcontrollers and Smart Cards (SCs), plastic cards in which are embedded cryptographic tamper-resistant chips, currently used in applications that require a high level of security (e.g., banks). An architecture, which involves hardware and software projects, is proposed for a system that establishes an encrypted and authenticated communication, based on Transport Layer Security (TLS) Protocol, between IoT devices and a server, focusing on low-cost development boards. Tests were performed initially on Arduino UNO boards and the final device has an ESP8266 microcontroller (specifically, an ESP-12E module), which has integrated Wi-Fi capabilities and is simple to program. Additionally, the SC used is Java Card-based, which simplifies the development and installation of programs (known as applets) on the card. It contains a modified version of IsoApplet, an open source program under development that allows the realization of cryptographic tasks, implemented according to ISO7816 standards. Thus, the execution of essential operations in the implementation of a security infrastructure such as key generation, encryption and decryption (in both symmetric and asymmetric cryptography), digital signature and secure data storage (e.g., secret keys, certificates) is delegated by the microcontroller to the card, which has specialized hardware. The microcontroller, in turn, can be connected to sensors and connects in an authenticated way to a server, sending encrypted data. Finally, it is shown that it is possible to build a device connected to the Internet of Things, which is able to send messages safely, by integrating low-cost microcontrollers and Smart Cards. A cost analysis of the device shows that it can have a market-compatible price if produced on a large scale. A second analysis, regarding the power consumption of the board, shows that, depending on the type of application, the device can run on battery for days. The contributions of this work, in addition to the manufacture of the IoT device itself, include the development of libraries that enable communication between microcontrollers (compatible with Arduino) and Smart Cards and the expansion of open-source software for Java Cards by adding cryptographic functions associated with TLS.porUniversidade Federal de PernambucoPrograma de Pos Graduacao em Ciencia da ComputacaoUFPEBrasilAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessRedes de computadoresInternet das coisasSistema de comunicação segura para dispositivos conectados à Internet das coisas com utilização de smart cardsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesismestradoreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETHUMBNAILDISSERTAÇÃO Thiago de Oliveira Cavalcante.pdf.jpgDISSERTAÇÃO Thiago de Oliveira Cavalcante.pdf.jpgGenerated Thumbnailimage/jpeg1297https://repositorio.ufpe.br/bitstream/123456789/27477/5/DISSERTA%c3%87%c3%83O%20Thiago%20de%20Oliveira%20Cavalcante.pdf.jpg5eea8b9d63d7f9b145f62b3f4e88f096MD55ORIGINALDISSERTAÇÃO Thiago de Oliveira Cavalcante.pdfDISSERTAÇÃO Thiago de Oliveira Cavalcante.pdfapplication/pdf13669646https://repositorio.ufpe.br/bitstream/123456789/27477/1/DISSERTA%c3%87%c3%83O%20Thiago%20de%20Oliveira%20Cavalcante.pdffccfa1e77b577377a12c3a424320487aMD51CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8811https://repositorio.ufpe.br/bitstream/123456789/27477/2/license_rdfe39d27027a6cc9cb039ad269a5db8e34MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-82311https://repositorio.ufpe.br/bitstream/123456789/27477/3/license.txt4b8a02c7f2818eaf00dcf2260dd5eb08MD53TEXTDISSERTAÇÃO Thiago de Oliveira Cavalcante.pdf.txtDISSERTAÇÃO Thiago de Oliveira Cavalcante.pdf.txtExtracted texttext/plain219211https://repositorio.ufpe.br/bitstream/123456789/27477/4/DISSERTA%c3%87%c3%83O%20Thiago%20de%20Oliveira%20Cavalcante.pdf.txtd476f92000884e7b0702f7582aa48423MD54123456789/274772019-10-26 01:00:09.126oai:repositorio.ufpe.br:123456789/27477TGljZW7Dp2EgZGUgRGlzdHJpYnVpw6fDo28gTsOjbyBFeGNsdXNpdmEKClRvZG8gZGVwb3NpdGFudGUgZGUgbWF0ZXJpYWwgbm8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgKFJJKSBkZXZlIGNvbmNlZGVyLCDDoCBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkZSBQZXJuYW1idWNvIChVRlBFKSwgdW1hIExpY2Vuw6dhIGRlIERpc3RyaWJ1acOnw6NvIE7Do28gRXhjbHVzaXZhIHBhcmEgbWFudGVyIGUgdG9ybmFyIGFjZXNzw612ZWlzIG9zIHNldXMgZG9jdW1lbnRvcywgZW0gZm9ybWF0byBkaWdpdGFsLCBuZXN0ZSByZXBvc2l0w7NyaW8uCgpDb20gYSBjb25jZXNzw6NvIGRlc3RhIGxpY2Vuw6dhIG7Do28gZXhjbHVzaXZhLCBvIGRlcG9zaXRhbnRlIG1hbnTDqW0gdG9kb3Mgb3MgZGlyZWl0b3MgZGUgYXV0b3IuCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwoKTGljZW7Dp2EgZGUgRGlzdHJpYnVpw6fDo28gTsOjbyBFeGNsdXNpdmEKCkFvIGNvbmNvcmRhciBjb20gZXN0YSBsaWNlbsOnYSBlIGFjZWl0w6EtbGEsIHZvY8OqIChhdXRvciBvdSBkZXRlbnRvciBkb3MgZGlyZWl0b3MgYXV0b3JhaXMpOgoKYSkgRGVjbGFyYSBxdWUgY29uaGVjZSBhIHBvbMOtdGljYSBkZSBjb3B5cmlnaHQgZGEgZWRpdG9yYSBkbyBzZXUgZG9jdW1lbnRvOwpiKSBEZWNsYXJhIHF1ZSBjb25oZWNlIGUgYWNlaXRhIGFzIERpcmV0cml6ZXMgcGFyYSBvIFJlcG9zaXTDs3JpbyBJbnN0aXR1Y2lvbmFsIGRhIFVGUEU7CmMpIENvbmNlZGUgw6AgVUZQRSBvIGRpcmVpdG8gbsOjbyBleGNsdXNpdm8gZGUgYXJxdWl2YXIsIHJlcHJvZHV6aXIsIGNvbnZlcnRlciAoY29tbyBkZWZpbmlkbyBhIHNlZ3VpciksIGNvbXVuaWNhciBlL291IGRpc3RyaWJ1aXIsIG5vIFJJLCBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vL2Fic3RyYWN0KSBlbSBmb3JtYXRvIGRpZ2l0YWwgb3UgcG9yIG91dHJvIG1laW87CmQpIERlY2xhcmEgcXVlIGF1dG9yaXphIGEgVUZQRSBhIGFycXVpdmFyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXN0ZSBkb2N1bWVudG8gZSBjb252ZXJ0w6otbG8sIHNlbSBhbHRlcmFyIG8gc2V1IGNvbnRlw7pkbywgcGFyYSBxdWFscXVlciBmb3JtYXRvIGRlIGZpY2hlaXJvLCBtZWlvIG91IHN1cG9ydGUsIHBhcmEgZWZlaXRvcyBkZSBzZWd1cmFuw6dhLCBwcmVzZXJ2YcOnw6NvIChiYWNrdXApIGUgYWNlc3NvOwplKSBEZWNsYXJhIHF1ZSBvIGRvY3VtZW50byBzdWJtZXRpZG8gw6kgbyBzZXUgdHJhYmFsaG8gb3JpZ2luYWwgZSBxdWUgZGV0w6ltIG8gZGlyZWl0byBkZSBjb25jZWRlciBhIHRlcmNlaXJvcyBvcyBkaXJlaXRvcyBjb250aWRvcyBuZXN0YSBsaWNlbsOnYS4gRGVjbGFyYSB0YW1iw6ltIHF1ZSBhIGVudHJlZ2EgZG8gZG9jdW1lbnRvIG7Do28gaW5mcmluZ2Ugb3MgZGlyZWl0b3MgZGUgb3V0cmEgcGVzc29hIG91IGVudGlkYWRlOwpmKSBEZWNsYXJhIHF1ZSwgbm8gY2FzbyBkbyBkb2N1bWVudG8gc3VibWV0aWRvIGNvbnRlciBtYXRlcmlhbCBkbyBxdWFsIG7Do28gZGV0w6ltIG9zIGRpcmVpdG9zIGRlCmF1dG9yLCBvYnRldmUgYSBhdXRvcml6YcOnw6NvIGlycmVzdHJpdGEgZG8gcmVzcGVjdGl2byBkZXRlbnRvciBkZXNzZXMgZGlyZWl0b3MgcGFyYSBjZWRlciDDoApVRlBFIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgTGljZW7Dp2EgZSBhdXRvcml6YXIgYSB1bml2ZXJzaWRhZGUgYSB1dGlsaXrDoS1sb3MgbGVnYWxtZW50ZS4gRGVjbGFyYSB0YW1iw6ltIHF1ZSBlc3NlIG1hdGVyaWFsIGN1am9zIGRpcmVpdG9zIHPDo28gZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvIGRvIGRvY3VtZW50byBlbnRyZWd1ZTsKZykgU2UgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgYmFzZWFkbyBlbSB0cmFiYWxobyBmaW5hbmNpYWRvIG91IGFwb2lhZG8gcG9yIG91dHJhIGluc3RpdHVpw6fDo28gcXVlIG7Do28gYSBVRlBFLMKgZGVjbGFyYSBxdWUgY3VtcHJpdSBxdWFpc3F1ZXIgb2JyaWdhw6fDtWVzIGV4aWdpZGFzIHBlbG8gcmVzcGVjdGl2byBjb250cmF0byBvdSBhY29yZG8uCgpBIFVGUEUgaWRlbnRpZmljYXLDoSBjbGFyYW1lbnRlIG8ocykgbm9tZShzKSBkbyhzKSBhdXRvciAoZXMpIGRvcyBkaXJlaXRvcyBkbyBkb2N1bWVudG8gZW50cmVndWUgZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvLCBwYXJhIGFsw6ltIGRvIHByZXZpc3RvIG5hIGFsw61uZWEgYykuCg==Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-26T04:00:09Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.pt_BR.fl_str_mv Sistema de comunicação segura para dispositivos conectados à Internet das coisas com utilização de smart cards
title Sistema de comunicação segura para dispositivos conectados à Internet das coisas com utilização de smart cards
spellingShingle Sistema de comunicação segura para dispositivos conectados à Internet das coisas com utilização de smart cards
CAVALCANTE, Thiago de Oliveira
Redes de computadores
Internet das coisas
title_short Sistema de comunicação segura para dispositivos conectados à Internet das coisas com utilização de smart cards
title_full Sistema de comunicação segura para dispositivos conectados à Internet das coisas com utilização de smart cards
title_fullStr Sistema de comunicação segura para dispositivos conectados à Internet das coisas com utilização de smart cards
title_full_unstemmed Sistema de comunicação segura para dispositivos conectados à Internet das coisas com utilização de smart cards
title_sort Sistema de comunicação segura para dispositivos conectados à Internet das coisas com utilização de smart cards
author CAVALCANTE, Thiago de Oliveira
author_facet CAVALCANTE, Thiago de Oliveira
author_role author
dc.contributor.authorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/8764705664062209
dc.contributor.advisorLattes.pt_BR.fl_str_mv http://lattes.cnpq.br/3776300004312848
dc.contributor.author.fl_str_mv CAVALCANTE, Thiago de Oliveira
dc.contributor.advisor1.fl_str_mv SADOK, Djamel Fawzi Hadj
contributor_str_mv SADOK, Djamel Fawzi Hadj
dc.subject.por.fl_str_mv Redes de computadores
Internet das coisas
topic Redes de computadores
Internet das coisas
description Este trabalho tem como objetivo proteger a comunicação entre dispositivos conectados à Internet das Coisas, do inglês Internet of Things (IoT), através da integração entre microcontroladores e Smart Cards (SCs), cartões de plástico nos quais estão embutidos chips criptográficos invioláveis, atualmente utilizados em aplicações que exigem um alto nível de segurança (e.g., bancos). É proposta uma arquitetura, a qual envolve projetos de hardware e software, para um sistema que estabelece uma comunicação autenticada e criptografada, baseada no Protocolo Transport Layer Security (TLS), entre dispositivos IoT e um servidor. O foco do trabalho está em placas de desenvolvimento de baixo custo. Testes foram realizados inicialmente no Arduino UNO e o dispositivo final possui o microcontrolador ESP8266 (em específico, o módulo ESP-12E), que possui Wi-Fi integrado, o que facilita a sua inclusão na IoT, e é simples de programar. Adicionalmente, é utilizado um SC com a tecnologia Java Card, que torna mais simples o desenvolvimento e a instalação de programas (conhecidos como applets) no cartão. Nele está instalada uma versão modificada do IsoApplet, um programa open source em desenvolvimento que permite a execução de tarefas criptográficas, implementado de acordo com os padrões ISO7816. Assim, a execução de operações essenciais na implementação de uma infra-estrutura de segurança como geração de chaves, cifragem e decifragem (em ambas criptografias simétrica e assimétrica), assinatura digital e armazenamento seguro de dados (e.g., chaves secretas, certificados) é delegada pelo microcontrolador ao cartão, que possui hardware especializado. O microcontrolador, por sua vez, pode ser ligado a sensores e se conectar de forma autenticada com um servidor, enviando informações criptografadas. Por fim, demonstra-se que é possível construir um dispositivo conectado à Internet das Coisas, capaz de enviar mensagens de forma segura, a partir da integração entre microcontroladores de baixo custo e Smart Cards. Uma análise de custo do dispositivo construído, mostra que o mesmo pode ter um preço compatível com o mercado, se produzido em larga escala. Uma segunda análise, relativa ao consumo de energia da placa, mostra que, a depender do tipo de aplicação, o dispositivo pode funcionar com bateria por dias. As contribuições deste trabalho, além da fabricação do próprio dispositivo IoT, incluem o desenvolvimento de bibliotecas que habilitam a comunicação entre microcontroladores (compatíveis com Arduino) e Smart Cards e a expansão de um software open-source para Java zCards com funções criptográficas associadas ao TLS.
publishDate 2017
dc.date.issued.fl_str_mv 2017-09-14
dc.date.accessioned.fl_str_mv 2018-11-14T16:31:38Z
dc.date.available.fl_str_mv 2018-11-14T16:31:38Z
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 https://repositorio.ufpe.br/handle/123456789/27477
dc.identifier.dark.fl_str_mv ark:/64986/001300000b4z4
url https://repositorio.ufpe.br/handle/123456789/27477
identifier_str_mv ark:/64986/001300000b4z4
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.publisher.program.fl_str_mv Programa de Pos Graduacao em Ciencia da Computacao
dc.publisher.initials.fl_str_mv UFPE
dc.publisher.country.fl_str_mv Brasil
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
bitstream.url.fl_str_mv https://repositorio.ufpe.br/bitstream/123456789/27477/5/DISSERTA%c3%87%c3%83O%20Thiago%20de%20Oliveira%20Cavalcante.pdf.jpg
https://repositorio.ufpe.br/bitstream/123456789/27477/1/DISSERTA%c3%87%c3%83O%20Thiago%20de%20Oliveira%20Cavalcante.pdf
https://repositorio.ufpe.br/bitstream/123456789/27477/2/license_rdf
https://repositorio.ufpe.br/bitstream/123456789/27477/3/license.txt
https://repositorio.ufpe.br/bitstream/123456789/27477/4/DISSERTA%c3%87%c3%83O%20Thiago%20de%20Oliveira%20Cavalcante.pdf.txt
bitstream.checksum.fl_str_mv 5eea8b9d63d7f9b145f62b3f4e88f096
fccfa1e77b577377a12c3a424320487a
e39d27027a6cc9cb039ad269a5db8e34
4b8a02c7f2818eaf00dcf2260dd5eb08
d476f92000884e7b0702f7582aa48423
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1815172775690633216