A internet é conhecida por agregar os mais diversos sistemas computacionais, que variam desde a arquitetura de máquina, sistemas operacionais até aplicativos finais de usuários. além disso, nos últimos anos existe uma demanda crescente na utilização desses sistemas computacionais em aplicações críticas que forneçam um serviço correto e ininterrupto sobre redes de longa distância como a internet (wans). mas, estas wans se caracterizam como redes públicas de fácil acesso. isto torna estes ambientes suscetíveis a um conjunto de problemas que colocam em risco a integridade destes serviços críticos quando disponíveis nestas redes. são problemas de segurança, com ataques aos mesmos tentando explorar possíveis vulnerabilidades das implementações destes serviços. são também problemas de confiabilidade devido ao uso continuo e concorrente nestes ambientes abertos. nesta tese, fizemos um estudo visando encontrar soluções que melhorassem as condições de segurança e confiabilidade destes serviços, usando tecnologias como web services e virtualização aliadas a conceitos e soluções algorítmicas próprios de sistemas distribuídos. as nossas soluções desenvolvidas para estes problemas tiveram como motivação as aplicações práticas das mesmas, mas sem deixar de lado aspectos conceituais importantes de sistemas distribuídos. com base nestes objetivos, introduzimos um modelo híbrido de tolerância a intrusões e faltas que provoca a separação de faltas bizantinas e de crash. as faltas bizantinas são tratadas a nível local usando a virtualização. as faltas de crash que envolvem menores custos são tratadas a nível de sistema distribuídos.