https://hdl.handle.net/ripcmb/30250 Sun, 07 Jun 2026 05:00:59 GMT 2026-06-07T05:00:59Z http://repositorio.marinha.mil.br:80/retrieve/042f9d2a-8550-4f0c-b1be-dc6268815e6c/tecnologia da informaçao.png https://hdl.handle.net/ripcmb/30250 https://hdl.handle.net/20.500.14867/848394 Título: Modeling Secure MAVLink Protocol in the Tamarin Prover Autor(es): Chantre, Chandler Klüser; Santos, Anderson Fernandes Pereira dos; Rosa, Paulo Fernando Ferreira Abstract: We present an intermediate formalization of the MAVLink protocol in the Tamarin Prover as the initial phase of a broader Software-In-The-Loop (SITL) simulation pipeline. In the first step, we define four core multiset-rewriting rules: InitKey, GCS_Send, Drone_Recv, and Replay_Attack to model key establishment, encrypted command transmission with monotonically increasing sequence counters, command reception with replay protection, and adversarial replay capabilities. The Tamarin model will be integrated into an underdevelopment QEMU-based ArduPilot SITL environment. Ongoing work focuses on embedding authenticated telemetry into the formal model, automating proof strategies within Tamarin, and forging a seamless link between symbolic verification and the protocol’s runtime behavior. Descrição: Artigo publicado no 57º Simpósio Brasileiro de Pesquisa Operacional (SBPO) Tipo: article Wed, 01 Jan 2025 00:00:00 GMT https://hdl.handle.net/20.500.14867/848394 2025-01-01T00:00:00Z https://hdl.handle.net/20.500.14867/848324 Título: Análise da aderência do padrão internacional de defesa cibernética NIST CSF 2.0 ao processo de planejamento conjunto brasileiro Autor(es): Silva, Rafael Felippe Oliveira da Abstract: This dissertation investigates the integration between the NIST Cybersecurity Framework (CSF) 2.0 and the Brazilian Joint Planning Process (JPP) at the Operational Level, with an emphasis on cyber defense. The study stems from the growing relevance of cybersecurity in joint military operations, examining the possibility of harmonizing international frameworks with national doctrine. The central objective is to assess the applicability of the NIST CSF 2.0 within the context of the JPP, considering potential points of convergence and conceptual alignment. The findings indicate that applying the framework, when adapted to the specificities of Brazilian military doctrine, has the potential to strengthen cyber resilience as an operational function integrated into joint planning, opening avenues for future research on methodologies that enhance this integration. Descrição: Esta dissertação investiga a integração entre o NIST CSF 2.0 e o Processo de Planejamento Conjunto (PPC) brasileiro no nível operacional, com ênfase na defesa cibernética. O estudo parte da relevância crescente da cibersegurança nas operações militares conjuntas, verificando a possibilidade de harmonizar referenciais internacionais com a doutrina nacional. O objetivo central é avaliar a aplicabilidade do NIST CSF 2.0 no contexto do PPC, considerando potenciais pontos de convergência e adequação conceitual. Os resultados indicam que a aplicação do framework, quando adaptada às especificidades da doutrina militar brasileira, apresenta potencial para fortalecer a resiliência cibernética como função operacional integrada ao planejamento conjunto, abrindo perspectivas para investigações futuras sobre metodologias que ampliem essa integração.; Trabalho apresentado à Escola de Guerra Naval, como requisito parcial para conclusão do Curso de Estado-Maior para Oficiais Superiores (C-EMOS 2025) Tipo: bachelorThesis Wed, 01 Jan 2025 00:00:00 GMT https://hdl.handle.net/20.500.14867/848324 2025-01-01T00:00:00Z https://hdl.handle.net/20.500.14867/848123 Título: Comando e Controle (C2) nońivel estratégico : ameaças e contingências aos Sistemas Satelitais Geoestacionários na Marinha do Brasil Autor(es): Andrade Junior, José Francisco de Abstract: his thesis examines the vulnerabilities of military communications infrastructures based on geostationary (GEO) satellite systems in the face of cyber, electronic, and space threats, and proposes contingency alternatives to strengthen the resilience of Command and Control (C2) systems at the strategic level of the Brazilian Navy. The research focuses on the Naval Command and Control System (SisNC 2), which relies on the Military Satellite Communications System (SISCOMIS). Exclusive dependence on this infrastructure can compromise operational availability and integrity, as demonstrated by the cyberattack on the ViaSat network during the Russia–Ukraine conflict. To address these challenges, three technological alternatives were analyzed: Low Earth Orbit (LEO) satellite systems, Wideband High Frequency (WBHF) communications, and Narrowband High Frequency (NBHF) systems. Each option was assessed regarding technological sovereignty, resilience to interference, contested environment operation, and latency. The methodology combined literature review, documentary research, and a Hybrid Multicriteria Analysis (AHP, MACBETH, and TOPSIS), enabling prioritization of the alternatives against seven evaluation criteria: cyberattacks, interception, jamming, susceptibility to anti-satellite weapons, bandwidth, national control, and latency. Results indicated that Low Earth Orbit (LEO) satellite systems achieved the best overall performance, closely followed by WBHF communications, which stood out for their high resilience and full national control. Subsequently, GEO and NBHF systems ranked third and fourth, respectively. Finally, the thesis proposes the gradual and complementary integration of these technologies into the SisNC2 infrastructure to ensure operational continuity and decision-making autonomy in cases of access denial or satellite link degradation, in line with the National Cybersecurity Policy and National Defense Strategy, which stress technological sovereignty and the protection of critical information infrastructures Descrição: Nesta tese investiga-se a vulnerabilidade das infraestruturas de comunicações militares baseadas em sistemas satelitais geoestacionários (GEO) diante das ameaças cibernéticas, eletrônicas e espaciais, propondo alternativas contingenciais que aumentem a resiliência dos Sistemas de Comando e Controle (C 2) no nível estratégico da Marinha do Brasil. O foco recai sobre o Sistema Naval de Comando e Controle (SisNC2), sustentado pelo Sistema de Comunicações Militares por Satélite (SISCOMIS), cuja dependência exclusiva de satélites geoestacionários pode comprometer a disponibilidade e a integridade das operações, como evidenciado pelo ataque à rede ViaSat durante o conflito Rússia-Ucrânia. Para mitigar essas fragilidades, foram estudadas três alternativas tecnológicas: sistemas satelitais de baixa órbita (LEO), comunicações de banda larga em alta frequência (WBHF) e banda estreita em alta frequência (NBHF). Cada solução foi avaliada quanto à soberania tecnológica, resiliência a interferências, operação em ambientes contestados e latência. A metodologia integrou revisão bibliográfica, pesquisa documental e uma Análise Multicritério Híbrida (AHP, MACBETH e TOPSIS), que permitiu classificar as opções segundo sete critérios: ataques cibernéticos, interceptação, bloqueio, armas antissatélites, largura de banda, controle nacional e latência. Os resultados indicaram que os sistemas satelitais de baixa órbita (LEO) apresentaram o melhor desempenho global, seguidos de forma bastante próxima pelas comunicações WBHF, que se destacaram pela alta resiliência e pelo pleno controle nacional. Em sequência, foram classificadas as soluções GEO e NBHF. Por fim, propõe-se a integração gradual e complementar dessas tecnologias à infraestrutura atual do SisNC 2, em consonância com a Política Nacional de Cibersegurança e a Estratégia Nacional de Defesa, visando à proteção de infraestruturas críticas e à garantia de autonomia operacional.; Apresentado à Escola de Guerra Naval, como requisito parcial para a conclusão do Curso de Política e Estratégia Marítimas (C-PEM 2025). Tipo: bachelorThesis Wed, 01 Jan 2025 00:00:00 GMT https://hdl.handle.net/20.500.14867/848123 2025-01-01T00:00:00Z https://hdl.handle.net/20.500.14867/848069 Título: Sistemas de informação e conhecimento estratégico: um estudo das secretarias acadêmicas dos Cursos de Altos Estudos Militares Autor(es): Almeida, Mozart dos Santos Abstract: This study analyzes knowledge management in the context of the academic secretariats of the Higher Military Studies Courses for senior officers at the highest rank, with an emphasis on the processing and use of academic and administrative data. The research, qualitative in nature and exploratory in character, investigated four military educational institutions in Brazil, based on a questionnaire with open-ended questions applied to their heads. The objective was to understand how data are collected, organized, transformed into information, and used in decision-making at higher levels. The analysis of the results revealed different levels of maturity in knowledge management among the institutions, influenced by the technical qualifications of the teams and the technologies employed. The research subject aligns with theoretical models based on information technology, but it also connects with more interactive knowledge management studies focused on the socialization of individuals. The study also highlights the importance of security in the collection and storage of personal data, as established by Brazilian legislation, and suggests that the human factor is decisive for the success of knowledge management. It concludes that, although in transition, knowledge management in the aforementioned secretariats has significant strategic potential, especially if there is greater integration between technology, organizational culture, and collaborative practices. Descrição: Este estudo analisa a gestão do conhecimento no contexto das secretarias acadêmicas dos Cursos de Altos Estudos Militares para oficiais superiores de último posto, com ênfase no processamento e aproveitamento de dados acadêmicos e administrativos. A pesquisa, de natureza qualitativa e caráter exploratório, investigou quatro instituições de ensino militar no Brasil, a partir de questionário com perguntas abertas aplicadas a seus encarregados. O objetivo foi compreender como os dados são coletados, organizados, transformados em informação e utilizados na tomada de decisões nos escalões superiores. A análise dos resultados revelou diferentes níveis de maturidade na gestão do conhecimento entre as instituições, influenciados pela qualificação técnica das equipes e pelas tecnologias digitais empregadas. O objeto da pesquisa alinha-se com modelos teóricos baseados em tecnologia da informação, no entanto articula-se com estudos de Gestão do Conhecimento de ênfase mais interativa e baseados na socialização dos indivíduos. O estudo evidencia ainda a importância da segurança na coleta e armazenamento de dados pessoais, conforme estabelece a legislação brasileira, e sugere que o fator humano é determinante para o sucesso da gestão do conhecimento. Conclui-se que, embora em transição, a Gestão do Conhecimento nas referidas secretarias possui potencial estratégico significativo, especialmente se houver maior integração entre tecnologia digital, cultura organizacional e práticas colaborativas.; Trabalho apresentado à Escola de Guerra Naval, como requisito parcial para a conclusão do Curso Superior. (C-SUP 2025) Tipo: bachelorThesis Wed, 01 Jan 2025 00:00:00 GMT https://hdl.handle.net/20.500.14867/848069 2025-01-01T00:00:00Z