Autômatos e linguagens formais aplicados à segurança digital

Resumo

No contexto de uma sociedade cada vez mais dependente de sistemas conectados e de mecanismos automatizados de autenticação, cresce a necessidade de compreender, de forma conceitual e operativa, como modelos formais podem apoiar a segurança digital. O objetivo deste artigo é analisar de que maneira autômatos e linguagens formais podem ser utilizados para modelar um mecanismo simples de detecção de tentativas sucessivas de autenticação inválida, destacando seu potencial explicativo e formativo. Metodologicamente, realizou-se uma revisão de literatura sobre métodos formais aplicados à especificação e verificação de sistemas, seguida da elaboração e simulação, no software JFLAP, de uma Máquina de Mealy configurada para reconhecer três falhas consecutivas de login e, a partir disso, acionar um estado de bloqueio. Os resultados da simulação mostram que o modelo proposto permite visualizar, de forma clara e gradual, a transição entre estados de risco crescente até o acionamento do bloqueio, evidenciando a capacidade dos autômatos de representar políticas básicas de segurança utilizadas em sistemas de autenticação. Conclui-se que a integração entre formalização teórica, simulação computacional e análise interpretativa contribui tanto para o entendimento de mecanismos de segurança digital quanto para o ensino de Linguagens Formais e Autômatos, abrindo caminho para estudos futuros que explorem modelos mais complexos e cenários ampliados de risco.