| 摘要 |
"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. |
