Serviços Distribuídos Tolerantes a Intrusões: resultados recentes e problemas abertos - Miguel Correia (2005)