https://hdl.handle.net/ripcmb/30251 Sun, 07 Jun 2026 04:10:58 GMT 2026-06-07T04:10:58Z 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/ripcmb/847379 Título: A Tutorial and Security Overview on the IEEE 2030.5-2018 Standard Autor(es): Gomes, Rafael Caveari Descrição: The rapid growth of grid-integrated solar plants and Distributed Energy Resources (DER) has introduced advanced electrical devices into both domestic and industrial environments. In this expanding landscape, standardization is essential to ensure compatibility, security, and seamless communication among devices from various manufacturers. This paper explores the IEEE 2030.5-2018 standard, which is designed to facilitate communication between the Smart Grid and its end-users. While providing a comprehensive overview of the standard, we particularly focus on its security features, with an emphasis on the challenges associated with managing digital certificates within the IEEE 2030.5 framework. Additionally, we conduct a systematic review of the existing literature related to this standard. Tipo: article Mon, 01 Jan 2024 00:00:00 GMT https://hdl.handle.net/ripcmb/847379 2024-01-01T00:00:00Z https://hdl.handle.net/ripcmb/847144 Título: Infraestruturas críticas de comunicações: uma análise sobre cabos submarinos no Brasil Autor(es): Rodriguez Filho, Ernesto Serrano; Porchéra, Pablo Moreira Descrição: A rede de cabos submarinos é a principal infraestrutura crítica da era digital. Composta por cabos de fibra ótica colocados no fundo do oceano, transmite grandes volumes de dados e representa a espinha dorsal da economia global, com cerca de dez trilhões de dólares em transações financeiras conduzidas diariamente. Sua estrutura faz parte de uma configuração complexa de atores, traduzindo em elemento pouco observado na geopolítica e que coloca em risco a segurança e a resiliência de dados, serviços de internet e comunicações em todo o mundo, incluindo informações sensíveis ligadas à temática de Segurança, Desenvolvimento e Defesa. A presente abordagem propõe uma análise básica da importância dos cabos, das principais ameaças a que estão expostos e de alguns exemplos globais de governança do tema, de forma a identificar eventuais oportunidades de melhoria quando comparados ao modelo brasileiro em vigor. Tipo: bachelorThesis Sun, 01 Jan 2023 00:00:00 GMT https://hdl.handle.net/ripcmb/847144 2023-01-01T00:00:00Z https://hdl.handle.net/ripcmb/846595 Título: Post-quantum cryptographic algorithm identification using machine learning Autor(es): Rocha, Bruno dos Santos Descrição: This research presents a study on the identification of post-quantum cryptography algorithms through machine learning techniques. Plain text files were encoded by four postquantum algorithms, participating in NIST's post-quantum cryptography standardization contest, in ECB mode. The resulting cryptograms were submitted to the NIST Statistical Test Suite to enable the creation of metadata files. These files provide information for six data mining algorithms to identify the cryptographic algorithm used for encryption. Identification performance was evaluated in samples of different sizes. The successful identification of each machine learning algorithm is higher than a probabilistic bid, with hit rates ranging between 73 and 100%. Tipo: article Sat, 01 Jan 2022 00:00:00 GMT https://hdl.handle.net/ripcmb/846595 2022-01-01T00:00:00Z