Um algoritmo de criptografia de chave pública semanticamente seguro baseado em curvas elípticas

Esta dissertação apresenta o desenvolvimento de um novo algoritmo de criptografia de chave pública. Este algoritmo apresenta duas características que o tornam único, e que foram tomadas como guia para a sua concepção. A primeira característica é que ele é semanticamente seguro. Isto significa que nenhum adversário limitado polinomialmente consegue obter qualquer informação parcial sobre o conteúdo que foi cifrado, nem mesmo decidir se duas cifrações distintas correspondem ou não a um mesmo conteúdo. A segunda característica é que ele depende, para qualquer tamanho de texto claro, de uma única premissa de segurança: que o logaritmo no grupo formado pelos pontos de uma curva elíptica de ordem prima seja computacionalmente intratável. Isto é obtido garantindo-se que todas as diferentes partes do algoritmo sejam redutíveis a este problema. É apresentada também uma forma simples de estendê-lo a fim de que ele apresente segurança contra atacantes ativos, em especial, contra ataques de texto cifrado adaptativos. Para tanto, e a fim de manter a premissa de que a segurança do algoritmo seja unicamente dependente do logaritmo elíptico, é apresentada uma nova função de resumo criptográfico (hash) cuja segurança é baseada no mesmo problema.

Os mecanismos financeiros de estímulo às exportações e o impacto sobre a receita das empresas no Brasil

Este trabalho descreve os principais mecanismos financeiros de estímulo às exportações disponíveis no Brasil e estima o impacto dos financiamentos sobre a rentabilidade das empresas. Os mecanismos financeiros de estímulo às exportações disponíveis são quatro: a) financiamentos com base em contratos de câmbio; b) o Programa de Financiamento às Exportações – PROEX; c) o Programa BNDES-Exim ; e d) o Seguro de Crédito à Exportação – SCE. Os financiamentos com base em contrato de câmbio são realizados com recursos privados captados no exterior e operacionalizados de três diferentes formas: a) Adiantamento sobre Contrato de Câmbio - ACC; b) Adiantamento sobre Cambiais Entregues – ACE; e c) Trava de Câmbio. Nos dois primeiros instrumentos, o exportador recebe um adiantamento com base no contrato de câmbio, enquanto que no caso da trava de câmbio o exportador empresta a importância do contravalor em moeda nacional do contrato de câmbio de exportação ao banco. Por meio da comparação das taxas de juros cobradas no mercado doméstico com as taxas de juros dos financiamentos à exportação, próximas às taxas internacionais, para cada uma das modalidades de financiamento, é estimado, em termos globais, o ganho de arbitragem que as empresas envolvidas com as exportações brasileiras obtêm, utilizando os financiamentos a eles disponibilizados.

Um verificador seguro de integridade de arquivos

Este trabalho apresenta um modelo de mecanismo para o controle de integridade de arquivos em sistemas operacionais, com a capacidade de bloquear o acesso à arquivos inválidos de forma a conter os danos causados por possíveis ataques. O modelo foi inicialmente formulado a partir do estudo detalhado do processo de controle de integridade, revelando diversos pontos críticos de segurança nele existentes, e da avaliação dos mecanismos atualmente implementados nos sistemas operacionais que oferecem, mesmo que indiretamente, algum tipo de garantia de integridade dos arquivos do sistema. Durante o seu desenvolvimento, a segurança do próprio modelo foi detalhadamente analisada de forma a enumerar os seus pontos críticos e possíveis soluções a serem empregadas, resultando na definição dos requisitos mínimos de segurança que devem ser encontrados nesse tipo de mecanismo. Em seguida, visando a validação do modelo especificado e decorrente disponibilização do mecanismo para uso prático e em estudos futuros, um protótipo foi implementado no sistema operacional GNU/Linux. Procurando confirmar a sua viabilidade, foram realizadas análises do impacto causado sobre o desempenho do sistema. Por fim, foi confirmada a importância e viabilidade do emprego do modelo apresentado como mecanismo adicional de segurança em sistemas operacionais. Além disso, foi colocado em evidência um campo de pesquisa ainda pouco explorado e portanto atrativo para a realização de novos estudos.

Análise da implementação do contrato de gestão em empresas estatais gaúchas

O Contrato de Gestão é um instrumento que visa rever e corrigir relações de controles ineficazes, bem como obter maior responsibilização por parte da área pública em relação ao atingimento de objetivos predefinidos. Este estudo possui características de uma pesquisa do tipo exploratório-descritiva, tendo como objetivo geral analisar as relações contratuais entre o Governo do Estado do Rio Grande do Sul e três empresas estatais gaúchas no processo de implementação do Contrato de Gestão. Os dados foram coletados por meio de entrevistas semi-estruturadas com servidores das empresas e da Secretaria de Coordenação e Planejamento, que participaram dos estudos e das negociações da implementação dos Contratos de Gestão. Para decomposição dos dados, foi utilizada a metodologia da análise de conteúdo na modalidade de análise temática. Os resultados são apresentados em oito categorias iniciais, três intermediárias e duas finais: Na Implementação dos Contratos e a Manutenção dos Contratos, os resultados colocam em evidência que esses se, originaram de uma decisão política, através de um pacto com o Governo Central, para uma mudança estrutural e filosófica da administração Estadual. A manutenção desses está condicionada ao envolvimento dos mais altos dirigentes políticos, pela não-ingerência administrativa na gestão das empresas, e ao esforço de formação e integração dos funcionários.

Fundamentação técnica e atuarial dos seguros de vida : um estudo comparativo entre o seguro de vida individual e o seguro de vida em grupo no Brasil

A indústria de seguros é uma atividade econômica relativamente jovem, possuindo raízes na revolução industrial. O desenvolvimento dessa indústria ocorreu de forma bastante intensa durante o século passado, quando a atividade passou a ser inserida na área de gestão de riscos. As Companhias de Seguros que trabalham nesse ambiente de negócio fundamentam todo o processo de precificação dos seus produtos em rígidas bases técnicas e atuariais. O presente trabalho dedica-se ao estudo dessas questões, abordando especificamente os seguros de vida, com ênfase à cobertura de morte. A pesquisa tem por objetivo comparar duas modalidades distintas de seguros que são ofertadas ao mercado: o seguro de vida individual e o seguro de vida em grupo. Embora ofereçam aos consumidores coberturas bastante similares, ambas as modalidades devem obedecer a requisitos e princípios técnicos diferenciados por parte das instituições que fazem a sua gestão.