Geração de descrições de computação para a cloud

Detalhes bibliográficos
Autor(a) principal: Martins, Luís Henrique
Data de Publicação: 2017
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/59976
Resumo: Dissertação de mestrado integrado em Computer Science
id RCAP_cf7852964c24ca3de387034ee65a199d
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/59976
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Geração de descrições de computação para a cloudEngenharia e Tecnologia::Outras Engenharias e TecnologiasDissertação de mestrado integrado em Computer ScienceNos últimos anos, a procura por soluções que tirem partido de um computação segura na cloud é um conceito em expansão e de grande interesse. A atratividade deste tema tem motivado a apresentação de inúmeras propostas de protocolos que tiram partido dessas características. Contudo, a grande maioria desses protocolos requerem que as funcionalidades a executar se apresentem descritos a um nível de abstração muito baixo, concretamente na forma de circuitos lógicos Booleanos. Obviamente que não é simples nem produtivo trabalhar a esse nível de abstração, pelo que surge uma necessidade de converter descrições de programas realizado numa linguagem de alto-nível nesses circuitos. Este projeto baseia-se no estudo dessa transformação, assegurando que a mesma é correta garantindo a preservação da semântica do código fonte. Para a realização desta transformação será proposto um compilador certificado, que terá a intenção de gerar descrições de circuitos Booleanos a partir de programas C. Para a produção destas descrições será tido em conta a sua eficiência de forma a melhorar a sua performance mantendo a fiabilidade do mesmo.Over the last years, the demand of a secure computation in the cloud has been a growing concept in which people are taking interest in. The attractiveness of his theme has been driving the arise of protocols proposals that take advantages in cloud computing characteristics. However, to solve this need the majority of these solutions require that their features to be implemented in a very low-level of abstraction, more precisely in the format of logical Boolean circuits. Clearly it is not simple, neither work productive, to implement these specifications in such a low-level of abstraction. So there is a need to transform the description of the functionality implemented in a higher level language into those circuits. This project is based on the study of this transformation, ensuring its correction and the semantic preservation of the source code. In order to perform this transformation we propose a certified compiler which will be able to generate descriptions of Boolean circuits from a C programs with certain constraints. It will be also take into account the degree of eficiency of these descriptions, keeping its correctness.This work was supported by the European Union Seventh Framework Program (FP7/2007-2013) under grant agreement n. 609611 (PRACTICE)Almeida, José BacelarBarbosa, ManuelUniversidade do MinhoMartins, Luís Henrique20172017-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/59976por202202798info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:33:42Zoai:repositorium.sdum.uminho.pt:1822/59976Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:29:16.325426Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Geração de descrições de computação para a cloud
title Geração de descrições de computação para a cloud
spellingShingle Geração de descrições de computação para a cloud
Martins, Luís Henrique
Engenharia e Tecnologia::Outras Engenharias e Tecnologias
title_short Geração de descrições de computação para a cloud
title_full Geração de descrições de computação para a cloud
title_fullStr Geração de descrições de computação para a cloud
title_full_unstemmed Geração de descrições de computação para a cloud
title_sort Geração de descrições de computação para a cloud
author Martins, Luís Henrique
author_facet Martins, Luís Henrique
author_role author
dc.contributor.none.fl_str_mv Almeida, José Bacelar
Barbosa, Manuel
Universidade do Minho
dc.contributor.author.fl_str_mv Martins, Luís Henrique
dc.subject.por.fl_str_mv Engenharia e Tecnologia::Outras Engenharias e Tecnologias
topic Engenharia e Tecnologia::Outras Engenharias e Tecnologias
description Dissertação de mestrado integrado em Computer Science
publishDate 2017
dc.date.none.fl_str_mv 2017
2017-01-01T00:00:00Z
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 http://hdl.handle.net/1822/59976
url http://hdl.handle.net/1822/59976
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 202202798
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 Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132791787487232

Registros relacionados