• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 135
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 138
  • 138
  • 138
  • 51
  • 51
  • 45
  • 41
  • 40
  • 37
  • 34
  • 31
  • 30
  • 30
  • 29
  • 27
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Duas abordagens de acesso a objetos em ambientes distribuidos

Lento, Luiz Otavio Botelho 06 January 1995 (has links)
Orientador: Edmundo Roberto Mauro Madeira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-19T20:45:25Z (GMT). No. of bitstreams: 1 Lento_LuizOtavioBotelho_M.pdf: 2643109 bytes, checksum: f819949caf1e3b1b0bcdd302df9a6922 (MD5) Previous issue date: 1995 / Resumo: O propósito dessa dissertação é a apresentação e a análise de formas de acesso a objetos em ambientes distribuídos com o objetivo de otimizar e facilitar ao cliente o acesso a serviços disponíveis em sistemas distribuídos. Para o desenvolvimento de nosso trabalho consideramos as especificações referentes ao processamento distribuído aberto (ODP - Open Distributed Processing), modelos de interfaces para programas de aplicação(APls - Application Program Interface) e plataformas comerciais de serviços distribuídos. A primeira forma propõe especificar uma interface para programas de aplicação, baseada na metodologia orientada a objetos, oferecendo um conjunto de serviços distribuídos fornecidos por plataformas comerciais existentes, para o desenvolvimento, manutenção e execução de aplicações. A segunda forma é baseada na arquitetura CORBA (Common Object Request Broker Architecture), no qual especificamos um esquema de acesso aos objetos desta arquitetura. Este esquema é baseado em repositórios de interfaces e implementações. Este esquema possibilita que as informações referentes a estes repositórios sejam obtidas de forma mais rápida e segura. Com isso espera-se que a CORBA proporcione melhores condições à camada Middleware de prover facilidades no processamento distribuído para as aplicações, em especial para as aplicações da plataforma Multiware que está sendo desenvolvida na UNICAMP / Abstract: The purpose of this dissertation is to present and to analyse ways to access objects in distributed environments, as a means to optimize and to facilitate to the client the access to the distributed system services. The specifications of the open distributed processing (ODP - Open Distributed Processing), the models of the application program interfaces (APIs - Application Program Interface) and commercial distributed plataforms were considered for the development of this work. The first proposed specifies an application program interface, using an oriented-object methodology, to offer a group of services supplied by the existent commercial distributed plataforms to the development, running and management of distributed applications. The second proposed is based on the CORBA (Common Object Request Broker Architecture) architecture, where we specified an access scheme to the objects of this environment. This scheme is based on implementation and interface repositories. This scheme provides that the repository information is got quickly and safely. Then the Middleware layer provides distributed processing facilities to the applications, specially to the applications of the Multiware plataform, that is being developed at UNICAMP / Mestrado / Mestre em Ciência da Computação
42

Predição de estruturas de proteínas utilizando restrições de RMN e um modelo coarse grained / Prediction of protein structures using NMR restraints and a coarse grained model

Werdt, Paulo Roberto Teixeira 28 April 2014 (has links)
Made available in DSpace on 2015-03-04T18:58:04Z (GMT). No. of bitstreams: 1 DISSERTACAO_PAULO_WERDT.pdf: 21786566 bytes, checksum: 03a53ac9704356741edfa085dc1c0f81 (MD5) Previous issue date: 2014-04-28 / The prediction of the three-dimensional structure of proteins (PSP) has been one of the most challenging fields of computational biology, both for its applicability in the field of medicine and drug design, as for its high complexity and computational cost. The main objective of this work was to implement and investigate the predictive potential in the context of the program GAPF (Genetic Algorithm for Protein Folding), the use of a Coarse Grained (CG) model, coupled with a genetic algorithm of multiple minimum, designed specifically to predict protein structures, using restraints of distance and angles obtained from experiments of Nuclear Magnetic Resonance (NMR). A second objective was, using structures determined by NMR and deposited in the Protein Data Bank (PDB), to identify, classify and generate statistics of those NMR restraints that might be more relevant in a process of predicting protein structures. In this sense, programs were developed, in C++ language, to read, interpret, analyze and engage the NMR information contained in the PDB files, making it possible to use the restraints contained in these files, by the program GAPF. A visualization program was also developed, using the OpenGL library, which allows the observation of protein structures with their respective NMR restraints. Simulations were performed on a test group of ten proteins with known structure, and the results were compared with those obtained using an all atom model. The results obtained with the use of the CG model were equivalent or, in most cases, exceeded the results achieved with the all atom force field. Besides allowing a significant reduction in computational cost, the use of the CG model enabled a significant reduction of the number of NMR restraints necessary for the prediction of a structure with a folding considered correct or satisfactory. / A predição da estrutura tridimensional de proteínas (PSP) tem se mostrado um dos campos mais desafiadores da biologia computacional, tanto pela sua aplicabilidade no campo da medicina e no desenho de fármacos, quanto pela sua alta complexidade e custo computacionais. O objetivo principal deste trabalho foi implementar e investigar o potencial preditivo, no contexto do programa GAPF (Genetic Algorithm for Protein Folding), do uso de um modelo Coarse Grained (CG) acoplado com um algoritmo genético de múltiplos mínimos desenvolvido especificamente para predizer estruturas de proteínas, utilizando restrições de distância e de ângulos advindas de experimentos de Ressonância Magnética Nuclear (RMN). Um segundo objetivo foi, utilizando estruturas determinadas por RMN depositadas no Protein Data Bank (PDB), identificar, classificar e gerar estatísticas sobre as restrições de RMN que possam ser mais relevantes em um processo de predição de estruturas de proteínas. Neste sentido, foram desenvolvidos programas, na linguagem C++, para ler, interpretar, analisar e acoplar as informações de RMN contidas nos arquivos do PDB, tornando possível a utilização das restrições, contidas nestes arquivos, pelo programa GAPF. Também foi desenvolvido um programa de visualização que, utilizando a biblioteca OpenGL, permite a observação das estruturas de proteínas com as suas respectivas restrições de RMN. Foram realizadas simulações em um grupo teste de dez proteínas, de estrutura já conhecida, e os resultados foram comparados com aqueles obtidos com o uso do modelo all-atom. Os resultados obtidos com o uso do modelo CG conseguiram ser equivalentes ou, na maioria dos casos, superar os resultados obtidos com o modelo all-atom. Além de permitir uma redução significativa no custo computacional, o uso do modelo CG possibilitou uma redução significativa do número de restrições de RMN necessárias para a predição de uma estrutura com um enovelamento considerado correto ou satisfatório.
43

Um editor grafico para stabilis/vigil

Lacerda, Rodrigo Netto 28 November 1997 (has links)
Orientador: Luiz Eduardo Buzato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-11-01T12:47:44Z (GMT). No. of bitstreams: 1 Lacerda_RodrigoNetto_M.pdf: 4059825 bytes, checksum: 5072cdd7e5a9201a13f28be10ec5a940 (MD5) Previous issue date: 1997 / Resumo: o objetivo deste trabalho é o desenvolvimento de um conjunto de mecanismos de modo a automatizar a captura, a geração parcial de código, o traçado e o posicionamento dos elementos gráficos de modelos de objetos. Este conjunto de mecanismos, integrados em uma única ferramenta, denominada editor gráfico, deve prover uma interface de programação visual de alto nível para o ambiente de programação distribuída formado por Stabilis/Vigil. / Abstract: The goal of this work is the development of a set of mechanisms to automate the capture, code generation, routing and positioning of graphical elements of object models. This set of mechanisms have been integrated into a graphical that provides a high-level visual programming interface for the distributed programming environment Stabilis/Vigil. / Mestrado / Mestre em Ciência da Computação
44

Dispositivo móvel para análise de conforto térmico e ambiência /

Oliveira Junior, Arilson José de, 1991. January 2016 (has links)
Orientador: Silvia Regina Lucas de Souza / Banca: Leda Gobbo de Freita Bueno / Banca: Osvaldo Cesar Pinheiro de Almeida / Resumo: Nos países de clima tropical, como o Brasil, um dos maiores desafios para produção animal e trabalho humano são os fatores ambientais, como altas temperaturas e umidades dentro de ambientes, assim como as tipologias das instalações, muitas vezes limitantes para o desempenho produtivo. O conforto térmico e a ambiência são áreas de estudo que tem por objetivo conceder o bem-estar para indivíduos, sejam eles animais ou seres humanos. Nos dias atuais grande parte das análises de conforto térmico no meio agrícola, ressaltando às em ambientes de produção animal, utilizam índices que possibilitam a avaliação do nível de estresse térmico de um determinado local por meio de variáveis climatológicas, como o Índice de Temperatura e Umidade - ITU, Índice de Temperatura de Globo Negro e Umidade - ITGU e Índice de Temperatura Equivalente - ITEq. Semelhantemente, em locais de trabalho humano há um limite de tolerância para exposição ao calor que deve ser monitorado mediante o chamado Índice de Bulbo Úmido Termômetro de Globo - IBUTG. Para a resolução desses índices, não há atualmente um sistema computacional específico, de hardware e software, que forneça, em tempo real, a condição térmica de um ambiente. Deste modo, o presente trabalho teve por objetivo desenvolver um sistema computacional capaz de avaliar, em tempo real, o conforto térmico de instalações de produção animal e de ambientes de trabalho humano. O sistema foi desenvolvido baseado na criação de um dispositivo portátil ... / Abstract: In tropical weather countries, such as Brazil, one of the greatest challenges for animal production and human work environments are environmental factors, among them high temperature and humidity inside of the environments, as well as the type of facilities which are limiting for productive performance. The thermal comfort and the ambience are study areas that aims the well-being of individuals, whether they are animals or humans. It is possible to define thermal comfort as the pleasant thermal sensation of the body, in which are not necessary physiological efforts to keep the body in thermal balance. Nowadays, several analysis of thermal comfort in the agriculture environment, mainly at env(...) / Mestre
45

Busca por palavras em imagens de documentos : uma abordagem independente de OCR / Israel Rios ; orientador, Alceu de Souza Britto Jr. ; co-orientador, Alessandro Lameiras Koerich

Rios, Israel January 2007 (has links)
Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2007 / Bibliografia: f. 59-60 / Hoje em dia, há um grande volume de informação disponível na forma digital, seja em grandes empresas seja em bibliotecas digitais. Grande parte dessa informação é composta de imagens de documentos digitalizados. Devido ao grande volume, existe a necessida / Nowadays, there is a large volume of information available in digital format, either in large companies either in digital libraries. Most of of this information is composed of scanned document images. Due to the large volume, there is the urgency to provi
46

Documentação semântica na gerência de projetos

Bastos, Erick Casagrande 26 October 2015 (has links)
Submitted by Maykon Nascimento (maykon.albani@hotmail.com) on 2016-05-20T18:21:14Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Erick Casagrande.pdf: 3989781 bytes, checksum: 2943ebf2a1e7355ec79c19169455cfee (MD5) / Approved for entry into archive by Patricia Barros (patricia.barros@ufes.br) on 2016-07-01T13:48:39Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Erick Casagrande.pdf: 3989781 bytes, checksum: 2943ebf2a1e7355ec79c19169455cfee (MD5) / Made available in DSpace on 2016-07-01T13:48:39Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Erick Casagrande.pdf: 3989781 bytes, checksum: 2943ebf2a1e7355ec79c19169455cfee (MD5) / A existência de ferramentas de software dedicadas à gerência de projetos não eliminou a utilização de documentos desktop nesse domínio. Documentos de texto e planilhas eletrônicas são utilizados no âmbito dos projetos, pois são instrumentos que permitem o registro de informações úteis para comunicação entre os envolvidos no projeto e ajudam no seu entendimento. Entretanto, uma desvantagem da utilização de documentos é a dificuldade em obter informações consolidadas a partir deles, especialmente quando essas informações estão dispersas em vários documentos. O acesso ao conteúdo de documentos tipicamente depende de intervenção humana, uma vez que os documentos foram originalmente criados para seu conteúdo ser entendido por humanos e não por computadores. Para contornar esse problema, pode-se utilizar a Documentação Semântica, que consiste na adição de metadados baseados em ontologias ao conteúdo de documentos desktop, para possibilitar que computadores interpretem seu conteúdo. Neste trabalho foi explorada a utilização da documentação semântica na gerência de projetos, visando apoiar a realização de atividades relacionadas às gerências de escopo, tempo e custos. O estado da arte de documentação semântica aplicada à gerência de projetos foi investigado em uma revisão sistemática da literatura, cujos resultados mostraram que o tópico de pesquisa é recente e ainda apresenta vários aspectos a serem explorados. Como infraestrutura para a proposta de documentação semântica apresentada neste trabalho foi escolhida a Plataforma de Gerenciamento de Documentos Semânticos (PGDS), desenvolvida por Arantes (2010), que utiliza ontologias de domínio como base para anotação de documentos, incluindo funcionalidades para extração, armazenamento e busca de conteúdo a partir de anotações semânticas. A PGDS foi evoluída neste trabalho, tanto no âmbito geral, pela inclusão de planilhas eletrônicas como um novo tipo de documento possível de ser manipulado pela plataforma, quanto no âmbito específico do domínio de gerência de projetos, pela especialização da PGDS para esse domínio através da inclusão de funcionalidades de apoio à gerência de escopo, tempo e custos. Para isso, uma ontologia para o domínio da gerência de projetos de software foi criada e teve seus conceitos, relações e propriedades explorados. Por fim, foi realizado um estudo para avaliação preliminar da proposta. / The existence of project management supporting tools did not eliminate the need of using desktop documents in this domain. Text documents and spreadsheets are used in the context of projects, since they are instruments to record useful information to support communication between stakeholders and understanding about the project. However, one disadvantage of using documents is the difficulty of obtaining consolidated information from them, especially when information is distributed in several documents. The access to document content typically depends on human intervention, since they were originally created to be understood by humans and not by computers. To deal with this problem, Semantic Documentation can be used. Semantic Documentation consists in adding ontology-based metadata into desktop document content so that it become available for computers interpretation. In this work we explore the use of semantic documentation in project management aiming to support activities related to scope, time and cost management. We investigated the state-of-the-art of semantic documentation applied to project management by means of a systematic literature review. The results showed us that the research topic is recent and there are several aspects to be explored. As the infrastructure to the proposal presented in this work, we choose the Infrastructure for Managing Semantic Documents (IMSD) developed by Arantes (2010). IMSD uses domain ontologies as basis to semantic documentation, including features for content extraction, storage and search using semantic annotations. We extended IMSD by making it able to work with spreadsheets. Also, we specialized IMSD to the project management domain by creating features to support activities related to scope, time and cost management. For this, a domain ontology about software project management was developed and its concepts, relations and properties were explored. Lastly, we conducted a study that served as a preliminary evaluation of the proposal.
47

Uma sistematização do processamento de dados: aplicação em automatização de bibliotecas

Szwarcfiter, Jayme Luiz 04 1900 (has links)
Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-08T17:38:05Z No. of bitstreams: 1 125220.pdf: 5959517 bytes, checksum: 6c906912d9792a506cee2f49291eebe6 (MD5) / Made available in DSpace on 2018-03-08T17:38:05Z (GMT). No. of bitstreams: 1 125220.pdf: 5959517 bytes, checksum: 6c906912d9792a506cee2f49291eebe6 (MD5) Previous issue date: 1971-04 / Os conhecimentos adquiridos na área da aplicação de computadores conhecida como processamento de dados são empíricos e não formalizados. Este trabalho se propõe a sistematizar, classificar e denominar os diferentes processos, meios, elementos e técnicas utilizadas nesta área de atividade. Como aplicação, é desenvolvido um projeto de automação de bibliotecas, que visa dotar uma biblioteca de um sistema de informações internas e externas, de acordo com os princípios teorizados de processamento de dados. / The knowledge acquired in the computer aplication area known as data processing are empiric and not formalized. This work aims at systematizing, classifying and naming the different processes, means, elements and techniques used in this area of activity. As an aplication a library automation project is developed which will provide an internal and external information system to a library, according with the principles presented in the data processing theory.
48

Processo judicial eletrônico: reflexão crítica acerca da garantia fundamental de acesso à justiça do trabalho

Carvalho, George Barbosa Jales de January 2015 (has links)
Made available in DSpace on 2015-09-02T02:22:58Z (GMT). No. of bitstreams: 1 000474353-Texto+Parcial-0.pdf: 563 bytes, checksum: 13b62b6f5875866b6607cd38ca6e2e46 (MD5) Previous issue date: 2015 / Modern society increasingly technological, has undergone constant change, whose effects reach the science of law. Gradually, the use of technology is implemented within procedural law, in order to facilitate access and expedite proceedings. From this perspective, it was up to the courts to implement new technologies that made proceedings faster and more effective. Thus came the electronic process, which was not restricted only to transport the records from paper to the virtual environment (formal aspect). It went further, there was a change in material aspects, influencing the application of procedural principles, and the very essence of judicial process. The labor proceedings was no different. With the introduction of PJe-JT, it was possible to perceive significant changes in the dynamic of proceedings, especially relative to access to the labor courts, through the justice postulandi. In this sense, it is relevant the discussion and reflection on the impact of the PJe-JT in the labor process, especially with regard to the violation of the principle of wide access to justice, constitutionally guaranteed in section XXXV, article 5 of the Federal Constitution 1988. This research seeks, through the deductive method, from the confrontation between the introduction of the PJe-JT and the principle of access to justice, specifically in regards to the use by the claimants of jus postulandi; demonstrate that the new electronical procedural systematic has proven to some extent, violator of the principle of access to fair legal system. To that extent, it was not only found the elimination of the possibility of using jus postulandi, as were also suggested ways that can be adopted to prevent or compensate for the extinction of this important institute. / A sociedade moderna, cada vez mais tecnológica, vem sofrendo constantes mudanças, cujos reflexos atingem a ciência do Direito. Gradualmente, o uso da tecnologia é implementado no âmbito jusprocessual, de modo a facilitar o acesso e a celeridade processual. Nessa perspectiva, coube ao Poder Judiciário implementar novas tecnologias que viessem a tornar o processo mais célere e efetivo. Surgiu assim o processo eletrônico, que não se restringiu apenas em transportar os autos do papel para ao meio virtual (aspecto formal). Foi mais além, houve alteração nos aspectos materiais, influenciando a aplicação dos princípios processuais, e a própria essência do processo judicial. No âmbito do processo trabalhista não foi diferente. Com a introdução do PJe-JT, foi possível perceber mudanças significativas na dinâmica processual, principalmente referente ao acesso à Justiça do Trabalho, por meio do jus postulandi. Nesse sentido, é relevante a discussão e a reflexão sobre o impacto do PJe-JT no processo trabalhista, em especial no que se refere à violação do princípio do amplo acesso à justiça, constitucionalmente assegurado no inciso XXXV, do artigo 5° da Constituição Federal de 1988. A presente pesquisa busca, por meio do método dedutivo, a partir do confrontamento entre a introdução do PJe-JT e o princípio do acesso a justiça, especificamente no que diz respeito a utilização por parte do jurisdicionado do jus postulandi; demonstrar que a nova sistemática processual em meio eletrônico tem se revelado, em certa medida, violadora do princípio do acesso a ordem jurídica justa. Nessa medida, não só foi constatada o eliminação da possibilidade da parte se utilizar do jus postulandi, como também foram sugeridos meios que possam ser adotados para impedir ou compensar a extinção de tal importante instituto.
49

O desafio da efetividade no processo de execução trabalhista: análise dos mecanismos calçados nas novas tecnologias

Oliveira, Adriane Barbosa January 2013 (has links)
Made available in DSpace on 2013-12-03T01:01:02Z (GMT). No. of bitstreams: 1 000452667-Texto+Parcial-0.pdf: 280738 bytes, checksum: 2ac25084653d401667a7c7af84cf18d6 (MD5) Previous issue date: 2013 / This study aims demonstrate the effectiveness of technological tools used for execution phase of the Labour Procedure, created through Covenants executed by the National Council of Justice and Regional Courts with agencies such as the Central Bank, DENATRAN and Brazilian Federal Revenue, allowing to Judiciary Power one direct connection to information. In the case of seizure of values, there was the development of the electronic seizure system, referred to as Bacenjud, allowing the seizure of values existing in any account, nationwide. In other hand has improved the restriction of vehicles, with the creation of Renajud tool that allows the access of existing vehicles on behalf of the debtor, enabling the realization of electronic form of restrictions to as circulation, transfer and licensing. There has also been the perfecting in the information provided by the Brazilian Federal Revenue. Where the system used to aid the Judiciary is Infojud that allows access to taxpayer data as well as pertinent information Declarations of Income Taxes. Based on the analysis of systems Bacenjud, Renajud and Infojud, this study has the scope to demonstrate the advantages and disadvantages of using these tools in the execution phase of the work process. The research carried also demonstrates the modernization of other traditional instruments, used to assist the satisfaction of credit desired in labor demand, as is the case the seizure of real estate and access to database of the Commercial Registrar. Seeking to visualize the details of each technological system inserted in the structure of the labor process execution, field surveys were conducted with the data extractions from cases closed with debt. With the aim of demonstrating the usefulness and challenges of technological mechanisms used in phase execution. Thus, not only was evidenced the efficacy of the systems developed, but were also suggested paths that may be followed to assist the celerity and effectiveness of the proceedings before the Labour Court. / O presente trabalho tem por objetivo demonstrar a efetividade das ferramentas tecnológicas utilizadas na fase de execução do Processo do Trabalho, que foram criadas através de Convênios firmados pelo Conselho Nacional de Justiça e Tribunais Regionais, com os órgãos que permitem acesso direto das informações para o Poder Judiciário, tais como o Banco Central, o DENATRAN e a Receita Federal do Brasil. No caso da penhora em dinheiro, houve o desenvolvimento do sistema de penhora eletrônica, denominado de Bacenjud, que permite que sejam penhorados valores existentes nas contas do devedor do processo judicial em qualquer banco no âmbito nacional. De outro modo, foi aprimorada a restrição de veículos automotores, com a criação da ferramenta Renajud, que permite o acesso aos veículos existentes em nome do executado, permitindo a realização de restrição, via eletrônica, de circulação, transferência e licenciamento. Também houve o aperfeiçoamento nas informações prestadas pela Receita Federal do Brasil, cujo sistema utilizado para auxílio do Poder Judiciário é o Infojud, que permite acesso aos dados dos contribuintes, bem como as informações pertinentes as Declarações de Imposto de Renda .Com base na análise dos sistemas Bacenjud, Renajud e Infojud, o presente estudo possui o escopo de demonstrar as vantagens e desvantagens da utilização destes instrumentos de efetividade na fase de execução do processo do trabalho. A pesquisa realizada também demonstra a modernização de outros instrumentos tradicionais utilizados para auxiliar a efetivação do crédito pretendido na demanda processual trabalhista, como é o caso da penhora de imóveis e o acesso ao banco de dados da Junta Comercial. Buscando visualizar as minúcias de cada sistema tecnológico inserido na estrutura do processo de execução trabalhista, foi realizada uma pesquisa de campo com a extração dos dados dos processos arquivados com dívida, que teve a finalidade de demonstrar a utilidade e os desafios dos mecanismos tecnológicos empregados na fase de execução. Dessa forma, não só foi constatada a efetividade dos sistemas desenvolvidos, mas também foram sugeridos meios que podem ser adotados para auxiliar a celeridade e a efetividade do processo perante a Justiça do Trabalho.
50

Protocolos criptográficos de computação distribuída com segurança universalmente composta / Cryptographic protocols of distributed computing with universally composable security

Pinto, Adriana Cristina Bastos 09 August 2012 (has links)
Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2012. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2013-04-11T14:04:35Z No. of bitstreams: 1 2012_AdrianaCristinaBastosPinto.pdf: 1649490 bytes, checksum: fe36531ce29392254e8d7ecfe344e1e9 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-05-07T12:36:20Z (GMT) No. of bitstreams: 1 2012_AdrianaCristinaBastosPinto.pdf: 1649490 bytes, checksum: fe36531ce29392254e8d7ecfe344e1e9 (MD5) / Made available in DSpace on 2013-05-07T12:36:20Z (GMT). No. of bitstreams: 1 2012_AdrianaCristinaBastosPinto.pdf: 1649490 bytes, checksum: fe36531ce29392254e8d7ecfe344e1e9 (MD5) / Computação distribuída segura ganha cada vez mais destaque com a expansão no armazenamento de dados e na conectividade. Neste contexto, a primitiva criptográfica Oblivious Transfer (OT) se torna um dos elementos chaves, pois com ela pode-se implementar qualquer computação de duas ou múltiplas partes. Será apresentado um protocolo de duas partes para String Oblivous Transfer baseado em canais com apagamentos generalizado seguro no modelo malicioso. Além disso, esse protocolo atinge a capacidade de oblivious transfer do canal com apagamentos generalizados quando a probabilidade de ocorrer apagamentos é de no mínimo 1/2. Outra característica explorada por esse protocolo é que ele é seguro quando composto concorrentemente com protocolos arbitrários. Esse tipo de segurança, chamada de segurança universalmente composta, é um dos focos principais deste trabalho. Além do protocolo para string oblivious transfer, será apresentado protocolos para álgebra linear distribuída segura. A saber, será apresentado um protocolo para calcular o determinante da soma de duas matrizes, um protocolo para calcular os autovalores da soma de duas matrizes e, finalmente, um protocolo para calcular os autovetores associados a um autovalor. Todos esses protocolos de álgebra linear são construídos no modelo criptográfico baseado em commodities e são provados seguros quando universalmente compostos. _______________________________________________________________________________________________________________________________ ABSTRACT / Secure distributed computation is becoming increasingly prominent with the growth in data storage and connectivity. In this context, the cryptographic primitive Oblivious Transfer (OT) becomes one of the keys, since with it one can implements any two-party or multi-party computation. We will present a two-party protocol for string oblivious transfer based on generalized erasure channels secure on the malicious model. Furthermore, this protocol reaches the oblivious transfer capacity of the generalized erasure channel when the erasure probability is at least 1/2. Another feature exploited by this protocol is that it is secure when concurrently composed with arbitrary protocols. This type of security called universally composable security is one of the main focuses of this work. In addition to the protocol for the string oblivious transfer, we will show protocols for secure distributed linear algebra. Namely, we will show a protocol to calculate the determinant of the sum of two matrices, a protocol to calculate the eigenvalues of the sum of two matrices, and, finally, a protocol to calculate the eigenvector associated with an eigenvalue. All these protocols for linear algebra are built in the commodity-based cryptography model and they are proved secure when universally composed.

Page generated in 0.1068 seconds