Tolerância a Intrusões em Sistemas Informáticos

O uso generalizado dos computadores pela sociedade para realização das mais variadas tarefas, é uma tendência que se tem verificado ao longo da última década, e que tudo indica, continuará nos anos vindouros. Esta mudança, no entanto, é acompanhada pelas suas vicissitudes, em especial no que toca à (in)segurança informática _ a prática tem demonstrado que é extremamente difícil a construção de sistemas complexos totalmente imunes a intrusões. Ë medida que a complexidade cresce vão-se esgotando os paradigmas prevalentes: o de prevenir ou evitar as intrusões; e o de reagir às mesmas com a intervenção humana. Em resposta a esta questão, este trabalho propõe dotar os sistemas de mecanismos que lhes permitam tolerar as intrusões de um modo automático, impedindo que aquelas violem as suas propriedades. O trabalho apresenta uma solução para a concretização de serviços replicados baseados em protocolos distribuídos, que assentam num modelo híbrido de sistema. Neste modelo, os protocolos são executados num ambiente com hipóteses muito fracas (e.g., quanto à sincronia e quanto ao modelo de ataque), podendo recorrer esporadicamente a um componente especial para o processamento de operações simples. A solução preconizada por esta arquitectura é atraente sob vários ângulos, nomeadamente porque possibilita o projecto de protocolos tolerantes a intrusões sem hipóteses temporais explícitas, com um bom desempenho, e com um elevado nível de seguranç