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.

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.

O papel dos valores e crenças africanas no tempo de trabalho circular, nas estratégias, na negociação das diferenças entre operários e dirigentes no corredor de Maputo

A categoria tempo circular ou indiferenciado mostra que o trabalho formal é vivido de acordo com a subjetividade dos seus participantes, com uma multiplicidade de significados e de configurações sempre variáveis. Neste estudo, identificou-se a existência de uma relação entre o tempo circular e as estratégias elaboradas pelos trabalhadores na conquista de uma maior autonomia nos espaços de trabalho. Além disso, observou-se a convivência entre trabalhadores, empresários e dirigentes governamentais e sindicais presentes num projeto de modernização no sul de Moçambique, denominado Corredor de Desenvolvimento de Maputo e constatou-se o modo como é realizada a negociação das diferenças. Realizou-se um levantamento das principais estratégias levadas a cabo por empresários nacionais, estrangeiros, governo e sindicatos na gestão da força de trabalho, formação, qualificação e o uso do tempo nos espaços de trabalho, bem como as perspectivas de desenvolvimento humano trazido por este projeto na região de Maputo. Por enquanto, ainda não foi possível detectar um interesse real dos grupos empresariais e governamentais em delinear caminhos tendentes a encontrar equilíbrios possíveis entre a modernização e a tradição, que sejam compatíveis com a satisfação das necessidades, valores e crenças e o respeito ao imaginário dos grupos envolvidos na construção da modernização tecnológica do país. Parecem evidentes estratégias em que a responsabilidade social está ausente e a estratégia de abertura das Zonas Francas Industriais ao investimento externo carece de uma verdadeira negociação entre “parceiros” em que sejam distribuídas de forma equitativa as vantagens e desvantagens inerentes aos projetos de industrialização a serem implantados localmente. Os testemunhos obtidos junto dos protagonistas moçambicanos expressaram uma grande frustração e desencantamento quanto a resultados que possam vir a ser promissores para as populações, trabalhadores e empresários nacionais do projeto em curso. Portanto, este projeto mostra ser um processo exógeno introduzido à revelia de seus principais protagonistas nesta fase de implantação em território moçambicano e onde os aspectos culturais foram desrespeitados, além de serem usados como estratégia para tirar vantagens adicionais.

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.

Assimetria de informação no mercado de seguro de automóveis

Neste trabalho, estudaremos as possibilidades de existência de assimetria de informação relevante no mercado de seguros de automóveis brasileiro. Mais especificamente, estudaremos a relação entre o nsco empírico dos segurados, supostamente uma informação assimétrica, e sua demanda por cobertura. Utilizando uma extensa e detalhada base de dados, obtida junto a Superintendência de Seguros Privados (SUSEP), implementamos os principais testes econométricos existentes na literatura (paramétricas e semi­ paramétricas) para verificar a existência de assimetria de informação relevante no mercado de seguros de automóveis brasileiro. Inicialmente, replicamos os testes propostos por Chiappori e Salanié (2000) e Dionne, Gouriéroux e Vanasse (2001) e obtivemos o mesmo resultado: ausência de dependência condicional entre cobertura con­ tratada e risco empírico. Porém, constatamos que este resultado não é robusto a alterações marginais na metodologia de teste. Em seguida, estudamos uma característica peculiar dos contratos brasileiros: a não-monotonicidade das coberturas. Veremos que segurados mais arriscados terão incentivos em demandar contratos com franquias maiores (e, portanto, com menores coberturas). Após exaustivos testes, constatamos que tal característica inverte, de fato, o sinal da correlação entre cobertura e risco. Por fim, testamos se os prêmios dos contratos de seguro são funções lineares da cobertura. Constatamos que sim. Com isso, concluímos que as seguradoras não utilizam o par prêmio/ cobertura para separar os segurados de acordo com seu nsco (tal como prevê os modelos que consideram a existência de seleção adversa nesse mercado). Os resultados obtidos neste trabalho sugerem que, no mínimo, não devemos ignorar a possibilidade de existência de assimetria de informação relevante no mercado segurador brasileiro. Sendo assim, sugerimos que o apreçamento do risco nos contratos de seguro não deva se valer apenas de ferramentas atuariais, tal como é feito atualmente, mas deve considerar também os incentivos implícitos que os contratos de seguro exercem sobre o comportamento (arriscado) dos segurados.

O seguro garantia no contexto da nova realidade da construção naval brasileira

Vivemos um momento de grande crescimento da construção naval no mundo, que é impulsionado pelo crescimento do comércio entre as nações, em um mundo cada vez mais globalizado. O mesmo se repete no Brasil. O principal objetivo deste trabalho é propor uma metodologia para o cálculo objetivo do valor a ser garantido ao cliente da indústria naval, de modo a criar os incentivos econômicos corretos para os artífices da relação principal-agente. Inicialmente descreverei a Tecnologia da Construção Naval e os problemas econômicos que encontramos, passando a seguir a expor o Mercado Naval, estando aí incluídos o lado consumidor e os produtores de navios, sendo eles nacionais ou internacionais. Finalmente passaremos ao detalhamento da solução de seguro proposta, com a formalização do tipo de seguro, nível de cobertura e monitoramento. Para tal utilizaremos a metodologia de Vector-Autorregression combinada a uma simulação de Monte Carlo. Os resultados encontrados são checados e apontamos os caminhos para aperfeiçoar a metodologia e possíveis usos alternativos para ela.

Modelo de precificação do seguro de crédito à exportação para o mercado brasileiro

O trabalho visa abordar os recentes conceitos da teoria econômica de seguro, aplicando-os especificamente ao seguro de crédito à exportação. O intuito é a construção de um modelo pioneiro de precificação do risco de crédito, ajustado ao contexto do mercado exportador brasileiro.

O seguro de compromissos de planos de previdência privada

O trabalho discute a possibilidade de criação de um mecanismo de seguro para os compromissos dos planos de previdência privada de benefício definido no Brasil. Analisa-se a experiência de alguns países que criaram mecanismos públicos de seguro contra este tipo de evento. Observou-se que estes mecanismos não cobram um prêmio atuarialmente justo, sujeitando o segurador ao perigo moral. Apresenta-se uma proposta para a regulamentação de um seguro privado e voluntário dirigido aos planos de benefício definido no Brasil, baseada em pesquisa junto a dirigentes de fundos de pensão e empresas seguradoras.

Diferenciação e vantagem competitiva no seguro saúde: um estudo de caso

Trata das diferenciações encontradas no seguro saúde e se estas levam a um impacto no preço final do produto. Apresenta as várias diferenciações contratuals e investiga os agentes, as variáveis que levam às diferenciações e seus "impactos no preço do seguro traçando um esquema de vantagem competitiva comparativo.

As implicações da regulamentação e os impactos do uso da internet no mercado brasileiro de seguro-saúde

Trata dos impactos da regulamentação nos planos de saúde privados do ramo de seguro-saúde, e se estes resultam em um aumento dos gastos operacionais das seguradoras e na cobertura dos diferentes planos de saúde. Analisa Os possíveis impactos do uso da Internet pelas seguradoras, com enfoque em modelos de negócio, cadeia de valor e processos de negócio. Aborda as diferentes modalidades da assistência médica suplementar, caracterizando-as e quantificando-as, e realiza uma análise estrutural do mercado de seguro-saúde. Aborda também o estágio atual da Internet brasileira.

O hospital é seguro? percepções de profissionais de saúde sobre segurança do paciente

A segurança do paciente é um dos pilares de uma organização hospitalar. O objetivo deste estudo foi conhecer as opiniões dos profissionais de saúde, que trabalham em organizações hospitalares, quanto às dimensões de segurança do paciente. Foram abordados conceitos de acreditação, qualidade, cultura de segurança e segurança do paciente. A metodologia utilizada foi a aplicação de um questionário da Agency for Healthcare Research and Quality, traduzido para o português, às lideranças administrativas e assistenciais de hospitais acreditados (tanto pela metodologia da Organização Nacional de Acreditação quanto pela metodologia da Joint Commission International), no Estado de São Paulo. Também identificou-se a freqüência com que os erros são reportados e se as respostas aos erros cometidos são punitivas ou não.

Impacto do metrô na estrutura urbana e na renda do solo em uma conjuntura de crise econômica: estudo de casos no corredor do metrô de Caracas: estimativas de rentabilidade das operações imobiliarias

A construção de um meio de transporte como o merô nas sociedades capitalistas, vai muito além de ser um sistemas para favorecer a movimentação de pessoas e subsanar os problemas de transporte público; ele também ocasiona muidanças na configuração da Estrutura Urbana, redefinindo suas características, e portanto, ocasionando modificações sobre as atividades Sócio-Econômica do espaço. A aparição do metrô na cidade de Caracas, cuja primeira etapa começou a funcionar em janeiro de 1983 e sua relação com a renda do solo oferece um campo potencial de pesquisa em torno dos efeitos de valorização das zonas por onde ele passa, as quais adquirem uma nova hierarquia e um renovado interesse para novos investimentos imobiliários

Crises de liquidez e o seguro de depósitos bancários

A definição de um contrato de seguro depósito eficiente é analisada face à rede de segurança constituída nos sistemas financeiros. Busca-se, portanto, a harmonização do redesconto, o controle prudencial, o seguro depósito e eventuais programas de estímulos a fusões e aquisições de bancos em dificuldades (o PROER), de forma a equacionar o risco de crises de liquidez, ao mesmo tempo, em que minimizando o problema de assimetria de informações e os efeitos do elevado nível de alavancagem financeira dos bancos.

Sistema de custeio ABC : uma análise da aplicação do custeio baseado em atividades no setor de seguro saúde

A proposta desta dissertação é a apresentação e a análise de um modelo de Sistema de Custos basedo em Atividades para empresas do setor de seguro saúde. A viabilidade desta técnica é discutida sob os aspectos da qualidade da informação obtida, e das vantagens gerenciais que o ABC System agrega à empresa. Avalia o mercado de seguros no Brasil e especificamente o de Assistência Privada à Saúde. Contemplando a Hierarquia dos Custos das atividades, sugere a adoção do ABC System nas Seguradoras de Saúde.

Processo para análise de seguro de crédito por empresas no Brasil

Este estudo tem como objetivo descrever e detalhar importante ferramenta de transferência de risco de crédito já disponível no mercado securitário, e propor um processo para que a mesma possa ser avaliada por empresas no Brasil. Apesar de pouco explorado no meio acadêmico e pouco difundido no Brasil, o Seguro de Crédito é muito utilizado em países da Europa e Ásia e pode ter importância fundamental em épocas de crise e no novo cenário econômico mundial. Descreve-se como o seguro de crédito está inserido no contexto de gerenciamento ativo de risco, os tipos de seguro disponível no mercado e os complexos parâmetros de uma apólice dessa natureza, os quais são derivados da necessidade de mitigação de riscos de moral hazard e de assimetria de informações por parte da seguradora. Apresenta-se também um resumo das principais metodologias existentes para precificação de risco de crédito, apontando suas vantagens, desvantagens e adaptações necessárias para a aplicação em empresas não financeiras. Por fim, é proposto um processo para avaliação e contratação do seguro de crédito por empresas no Brasil, o qual considera diversos aspectos que envolvem a realidade das operações e os impactos previstos pelo uso do seguro. Com base na teoria e nas características das apólices de seguro de crédito interno, buscou-se também desenvolver um modelo para avaliação da precificação do prêmio e dos parâmetros da apólice, sendo que sua aplicação é exposta nos exemplos ao final do trabalho.