Um Modelo Funcional para Serviços de Identificação e Autenticação Tolerantes a Faltas e Intrusões