Banca de DEFESA: LEONARDO PEREIRA DE CASTRO

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : LEONARDO PEREIRA DE CASTRO
DATA : 02/06/2026
HORA: 16:00
LOCAL: Unifei Itajubá
TÍTULO:

Uma análise sistemática de segurança e desempenho na Internet dos Drones: Reavaliação e aprimoramento do Protocolo PMAP

PALAVRAS-CHAVES:

Internet dos Drones; Autenticação; Segurança; Protocolos; IoD.

PÁGINAS: 124
RESUMO:

Esta dissertação investiga protocolos de autenticação aplicados ao contexto da Internet dos
Drones (IoD), um ambiente caracterizado por alta mobilidade, restrições computacionais e
exigências rigorosas de segurança. O trabalho é dividido em duas frentes complementares.
Na primeira parte, é conduzida uma revisão sistemática da literatura, seguindo diretrizes
metodológicas consolidadas, com o objetivo de identicar, classicar e analisar protoco-
los recentes de autenticação e acordo de chaves para IoD. São examinados aspectos como
modelos de ameaça, primitivas criptográcas empregadas, propriedades de segurança anal-
isadas (informal e formalmente) e métricas de desempenho. Na segunda parte, é realizada
a revisão técnica do protocolo PMAP, contemplando os cenários Drone-to-ZSP (D2Z) e
Drone-to-Drone (D2D). O protocolo é analisado sob diferentes perspectivas, incluindo o
modelo formal Real-or-Random (RoR), vericação automatizada por ferramentas como
AVISPA, Scyther e ProVerif, além de uma análise informal de resistência a ataques e da
avaliação de desempenho comunicacional e computacional. Os resultados indicam que o
protocolo apresenta garantias de segurança consistentes sob os modelos adotados, bem
como custos compatíveis com ambientes restritos. No entanto, a análise também evi-
dencia limitações especícas relacionadas a propriedades de segurança mais avançadas,
as quais não são plenamente atendidas pela construção original. Tais limitações podem
ser mitigadas mediante a incorporação de primitivas criptográcas adicionais, sugerindo
caminhos viáveis para o aprimoramento do protocolo sem comprometer sua leveza op-
eracional. Assim, a partir dos resultados deste estudo, observou-se que o avanço da área
não depende apenas da proposição de novos mecanismos criptográcos, mas também da
adoção de metodologias de avaliação mais padronizadas e robustas, como o uso combinado
de modelos formais e informais, bem como da utilização de métricas compatíveis que per-
mitam a comparação entre diferentes estudos. Dessa forma, contribui-se para o aumento
da maturidade e da conabilidade dos protocolos aplicados à Internet dos Drones.

MEMBROS DA BANCA:
Interno - 1765728 - ADLER DINIZ DE SOUZA
Externo ao Programa - 3511630 - LAERCIO PIOLI JUNIOR - UNIFEIExterno ao Programa - 1841546 - MARCELO SANTIAGO DE SOUSA - UNIFEIExterno à Instituição - LOURENCO ALVES PEREIRA JUNIOR - ITA