Agradeço à minha família, em especial minha mãe Rosângela, minha avó Archidamia, meu avô Borgico e à Jane (futura esposa) pelo amor incondicional em todos os caminhos que resolvi percorrer no âmbito pessoal, proĄssional e acadêmico. No Ąm aprendemos que família e conhecimento são as maiores riquezas. Agradeço aos colegas do grupo MEHAR, pela troca de experiências e aprendizado; um agradecimento especial ao meu amigo Pedro Frosi Rosa, cuja paciência nas discussões sem Ąm é inĄnita; obrigado pelos ensinamentos técnicos e pelos conselhos sábios que me deu no decorrer dessa jornada. Não poderia deixar de fora um grande colega de proĄssão, Natal Vieira de Souza Neto. Sua generosidade proĄssional é ímpar e devo deixar registrado que aprendi muito, e tenho certeza que continuarei aprendendo com você. Agradeço aos docentes e técnicos da Faculdade de Computação pelo ensinamento e suportes prestados nos últimos anos. É uma honra poder dizer que, após esses anos, faço parte de uma comunidade tão importante. Deixo um forte abraço para Sônia e Erisvaldo, integrantes da secretaria de pósgraduação da Faculdade de Computação; sempre se mostraram gentis, competentes e prontos para resolver quaisquer problemas; e foram muitos. São dois grandes amigos que Ąz e levarei por toda a vida. Por Ąm gostaria de deixar um agradecimento especial ao meu amigo e orientador Flávio de Oliveira Silva, cuja perseverança e espírito de trabalho nos inĆuencia a ser proĄssionais cada vez melhores. Dentro de qualquer instituição de ensino, esses valores são fundamentais. In this work, the ESMP multicast security speciĄcation was deĄned, and the proposed security services/mechanisms were also demonstrated through analysis and evaluation methods. Once the security environment is established, the communications made in the control/data plan are protected from imminent attacks on the network. Some results are obtained: ESMP can mitigate much of the attacks modeled by the method of analysis and evaluation, such as snooping attacks, message modiĄcation attacks, reĆection attacks, masquerading attacks, etc .; ESMP can provide security services and mechanisms that compete with the major security protocols of the legacy architecture and with Mobi-lityFirst; the ESMP security services/mechanisms support the multicast communication context.