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.

Classificação e especificação de restrições de integridade em bancos de dados temporais de versões

Um Sistema gerenciador de Bancos de Dados (SGBD) possui como principal característica a capacidade de gerenciar bases de dados que representam parte do mundo real. Para que essa representação seja fiel, os dados presentes em uma base de dados devem obedecer a diversas regras conhecidas como restrições de integridade. Estas podem ser provenientes da realidade modelada, da implementação ou do modelo de dados utilizado. O suporte oferecido por sistemas gerenciadores de bancos de dados tradicionais não é suficientemente adequado a certas aplicações com necessidades que vão além das convencionais. Diversas aplicações necessitam armazenar dados históricos em conjunto com seus períodos de validade. Outras precisam armazenar versões de conjuntos de dados, gerenciando suas agregações e formas de representação. Através do suporte aos conceitos de tempo e de versão, provido por um SGBD, grande parte dessas necessidades é suprida. Este tipo de banco de dados usa o conceito de tempo para armazenar e controlar dados históricos enquanto o conceito de versão permite a gerência de alternativas de projeto. Existem atualmente diversos trabalhos e implementações relacionados à manutenção de restrições de integridade sobre bancos de dados tradicionais. Entretanto, restrições que consideram a gerência de tempo e de versões sobre dados ainda representam uma área de pesquisa praticamente inexplorada. De acordo com essa realidade, o primeiro objetivo do presente trabalho consiste em definir uma classificação de restrições de integridade para bases de dados com suporte a tempo e versões, a fim de prover uma base para o desenvolvimento de pesquisas relacionadas à sua especificação e manutenção. O segundo objetivo consiste em agregar ao Modelo Temporal de Versões (TVM), que suporta os conceitos de tempo e de versão, uma linguagem que permita a especificação de restrições de integridade. Esta linguagem considera características relacionadas à temporalidade e ao versionamento dos dados e das próprias restrições.

Persistência e riqueza de mamíferos focais em sistemas agropecuários no planalto meridional brasileiro

A demanda pela produção comercial de madeira exótica e criação de gado é uma fonte comum de conflitos que pode produzir um efeito negativo na conservação da vida silvestre. Este conflito é particularmente evidente no sul do Brasil, onde as áreas protegidas não são grandes suficientes para garantir as necessidades de ocupação de espécies com grandes exigências territoriais, e onde a densidade humana é elevada. Desta maneira, a conservação destas espécies precisa ser assegurada com a manutenção de habitats fora das reservas oficiais. O objetivo desta tese foi identificar os padrões de perda de integridade ambiental na paisagem, buscando os limites nos quais a estabilidade de uma comunidade e de sua estrutura trófica podem ser severamente afetados (capítulo 2 e 3), de maneira que estes resultados possam ser utilizados como procedimentos para escolha de áreas a serem protegidas, recuperação ambiental, e seleção de modelos ecologicamente sustentáveis de manejo comercial. Vários características de grupos indicadores baseados na presençaausência de mamíferos florestais (>1kg) foram verificados para este propósito, incluindo a persistência, riqueza, e composição das comunidades, além da riqueza trófica e presença do maior predador da área, o puma Puma concolor. Explorou-se, também, as limitações do uso de estimativas de riqueza de espécies como diretriz exclusiva de ações de conservação. Os resultados mostraram que RE não estava necessariamente relacionada com a melhor integridade ambiental pressuposta, e corroborada através dos outros indicadores (capítulo 3). Adicionalmente, a RE variou com método amostral, resultado que emerge como impecilho para o uso exclusivo deste parâmetro como indicador (capítulo 4). Esta variação implica que inferências de RE baseadas em múltiplos estudos pode resultar em erro se os mesmos métodos amostrais não forem usados em todos eles. A maior parte das espécies amostradas são dependentes da floresta, sendo que a abordagem por indicadores confirmou esta relação, revelando que as comunidades de mamíferos florestais sofreram as maiores perdas em áreas menos florestadas. A configuração da paisagem poderia ser resumida em propriedades particulares de 600 ha, com florestas restritas a menos de 38% na escala de paisagem. Espécies extintas or quase extintas na configuração observada foram a ariranha Pteronura brasiliensis, tamanduá-bandeira Myrmecophaga tridactyla, onça-pintada Panthera onca, anta Tapirus terrestris. Espécies severamente ameaçadas foram o loboguará Chrysocyon brachyurus e queixada Tayassu pecari. Mesmo assim, informações da distribuição histórica destas espécies em ambientes de floresta-savana, antes da colonização completa por causasianos, indicam que a extensão naturalmente reduzida da floresta nestes ambientes não constituía-se em obstáculo para sua existência, a partir do que é possível inferir que a extinção das espécies foi provocada pelo padrão de ocupação rural e atitudes humanas incompatíveis com a existência destas. Atualmente, exceto pelas espécies com maior demanda florestal, muitas demostram uma surpreendente persistência em condições de cobertura florestal nativa de aproximadamente 10% na paisagem rural não urbanizada.