Aplicação da Técnica Fuzzing em Testes da Implementação de Referência do SPDM

  • Thiago D. Ferreira USP
  • Renan C. A. Alves USP
  • Bruno C. Albertini USP
  • Marcos A. Simplicio Jr. USP
  • Daniel M. Batista USP

Resumo


Testes automatizados realizados durante o desenvolvimento de software podem encontrar falhas antecipadamente, evitando vulnerabilidades que vão desde negação de serviço até escalada de privilégios. Em particular, esses testes automatizados podem ser realizados usando a técnica fuzzing, que coordena o envio de entradas inesperadas para o software sendo testado. Este artigo apresenta os resultados preliminares do spdmfuzzer, um fuzzer que vem sendo desenvolvido para testar a implementação de referência do Security Protocols and Data Models (SPDM), um protocolo voltado para atestação de hardware e firmware. Na sua versão atual disponível publicamente, o spdmfuzzer já foi capaz de encontrar comportamentos inesperados na implementação.

Referências

AFL (2021). Fuzzing with afl-fuzz — AFL 2.53b documentation. [link]. Acessado em 2 de Julho de 2024.

Alves, R. C. A., Albertini, B. C., and Simplicio, M. A. (2022). Securing Hard Drives with the Security Protocol and Data Model (SPDM). In 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), pages 446–447.

Chen, Y., lan, T., and Venkataramani, G. (2019). Exploring effective fuzzing strategies to analyze communication protocols. In Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, FEAST’19, page 17–23, New York, NY, USA. Association for Computing Machinery.

Cremers, C., Dax, A., and Naska, A. (2023). Formal analysis of SPDM: Security protocol and data model version 1.2. In 32nd USENIX Security Symposium (USENIX Security 23), pages 6611–6628, Anaheim, CA. USENIX Association.

DMTF (2019). Security Protocol and Data Model Specification (SPDM). [link]. Acessado em 1 de Julho de 2024.

DMTF (2020). Security Protocol and Data Model Specification (SPDM). [link]. Acessado em 3 de Julho de 2024.

DMTF (2021). This openspdm is a sample implementation for the DMTF SPDM specification. [link]. Acessado em 1 de Julho de 2024.

DMTF (2024a). DMTF/libspdm. [link]. Acessado em 2 de Julho de 2024.

DMTF (2024b). Security Protocols and Data Models Working Group. [link]. Acessado em 2 de Julho de 2024.

Ferreira, T. D., Freitas, O. F., Alves, R. C. A. A., Simplicio, M. A., Albertini, B. C., and Batista, D. M. (2024). SPDM-WiD: Uma Ferramenta para Inspeção de Pacotes do Security Protocol Data Model (SPDM). In 2024 SBC Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC). [link]. Acessado em 2 de Julho de 2024.

Li, R., Diao, W., Li, Z., Du, J., and Guo, S. (2021). Android Custom Permissions Demystified: From Privilege Escalation to Design Shortcomings. In 2021 IEEE Symposium on Security and Privacy (SP), pages 70–86.

OSS-Fuzz (2023). OSS-Fuzz — Documentation for OSS-Fuzz. [link]. Acessado em 2 de Julho de 2024.

Rodriguez, L. G. and Batista, D. M. (2021). Towards Improving Fuzzer Efficiency for the MQTT Protocol. In 2021 IEEE Symposium on Computers and Communications (ISCC), pages 1–7.

Rodriguez, L. G. A. and Batista, D. M. (2023). Resource-Intensive Fuzzing for MQTT Brokers: State of the Art, Performance Evaluation, and Open Issues. IEEE Networking Letters, 5(2):100–104.

SPDM-WiD (2024). SPDM (Security Protocol Data Model) dissector and packet exporter for Wireshark. [link]. Acessado em 2 de Julho de 2024.
Publicado
16/09/2024
FERREIRA, Thiago D.; ALVES, Renan C. A.; ALBERTINI, Bruno C.; SIMPLICIO JR., Marcos A.; BATISTA, Daniel M.. Aplicação da Técnica Fuzzing em Testes da Implementação de Referência do SPDM. In: WORKSHOP DE TRABALHOS DE INICIAÇÃO CIENTÍFICA E DE GRADUAÇÃO EM ANDAMENTO - SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 24. , 2024, São José dos Campos/SP. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2024 . p. 328-334. DOI: https://doi.org/10.5753/sbseg_estendido.2024.243284.