Verificando a segurança de configurações de serviços da rede

"VERIFICANDO A SEGURANçA DE CONFIGURAçõES DE SERVIçOS DA REDE". Sistemas e métodos para verificar objetivos de segurança de um sistema distribuído são descritos. Em um aspecto, políticas detalhadas de segurança são convertidas em um modelo. As políticas detalhadas de segurança são reforçadas durante a troca de mensagens entre um ou mais pontos finais. Os um ou mais pontos finais abrangem respectivos computadores principais de rede em um ambiente operacional distribuído. O modelo é avaliado para determinar se as políticas detalhadas de segurança reforçam um ou mais objetivos de segurança de pelo menos um de um ou mais pontos finais. Systems and methods for checking security goals of a distributed system are described. In one aspect, detailed security policies are converted into a model. The detailed security policies are enforced during exchange of messages between one or more endpoints. The one or more endpoints host respective principals networked in a distributed operating environment. The model is evaluated to determine if the detailed security policies enforce one or more security goals of at least one of the one or more endpoints.