TRABALHOS PUBLICADOS

@inproceedings{235493,

title = {Primeiros Passos na Identifica\c{c}\~{a}o de Packers Utilizando Assinaturas Sem\^{a}nticas},

author = {Isabelle Cec\'{i}lia de Andrade and Rafael Oliveira da Rocha and Idilio Drago},

url = {https://www.sige.ita.br/edicoes-anteriores/2023/st/235493_1.pdf},

isbn = {1983 7402},

year  = {2023},

date = {2023-09-26},

urldate = {2023-09-26},

booktitle = {Simp\'{o}sio de Aplica\c{c}\~{o}es Operacionais em \'{A}reas de Defesa (SIGE2023)},

pages = {5},

abstract = {Malwares continuam representando uma grande amea\c{c}a para a seguran\c{c}a cibern\'{e}tica de infraestruturas cr\'{i}ticas e a utiliza\c{c}\~{a}o de t\'{e}cnicas como packers dificultam a sua detec\c{c}\~{a}o. As t\'{e}cnicas existentes para identifica\c{c}\~{a}o de arquivos empacotados, como assinaturas tradicionais e an\'{a}lise de entropia, n\~{a}o

s\~{a}o suficientemente eficazes no reconhecimento de variantes desconhecidas de packers. Para abordar esse problema, este estudo prop\~{o}e uma nova abordagem, baseada em assinaturas sem\^{a}nticas, capaz de capturar a funcionalidade do packer. Por n\~{a}o utilizar informa\c{c}\~{o}es da estrutura do arquivo empacotado, que \'{e} facilmente mut\'{a}vel, a abordagem proposta torna a detec\c{c}\~{a}o mais robusta \`{a}s varia\c{c}\~{o}es dos packers. Os experimentos

realizados neste trabalho produziram resultados promissores, mostrando que a extra\c{c}\~{a}o de assinaturas sem\^{a}nticas de arquivos empacotados n\~{a}o s\'{o} vi\'{a}vel como eficaz para detectar packers desconhecidos.},

key = {malwares, packers, detec\c{c}\~{a}o},

keywords = {C2-DC SEGURAN\c{C}A CIBERN\'{E}TICA E ENGENHARIA DE SOFTWARE},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{235454,

title = {Inconsistency detection methods for statecharts and sequence diagrams: a systematic literature review},

author = {Matheus Vieira Carmona Cogo and Carline Degregori Muenchen and Jeanne Samara dos Santos Lima and Emilia

Villani and Christopher Shneider Cerqueira },

url = {https://www.sige.ita.br/edicoes-anteriores/2023/st/235454_1.pdf},

issn = {1983 7402},

year  = {2023},

date = {2023-09-26},

urldate = {2023-09-26},

booktitle = {Simp\'{o}sio de Aplica\c{c}\~{o}es Operacionais em \'{A}reas de Defesa (SIGE2023)},

pages = {6},

abstract = {During model-based systems engineering or software engineering activities, diagrams representing use cases

(sequence diagrams) and diagrams representing object behaviors (state machine diagrams or statecharts) can conflict with each other in what is called an inconsistency. Detecting these inconsistencies is crucial to check if a given specification is realizable through the behavior that was conceived to meet it. This paper provides a systematic literature review of inconsistency detection methods for UML state machine diagrams and sequence diagrams. The selection process is aided by an open-source machine-learning tool, and resulted in the qualitative synthesis of 27 works. The included publications offer methods to tackle the detection of horizontal-semantic behavior inconsistencies.},

key = {Systematic literature review, Model consistency, UML},

keywords = {C2-DC SEGURAN\c{C}A CIBERN\'{E}TICA E ENGENHARIA DE SOFTWARE},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{235455,

title = {ASA-SimaaS: Advancing Digital Transformation through Simulation Services in the Brazilian Air Force},

author = {Joao P. A. Dantas and Diego Geraldo and Andre N. Costa and Marcos Ricardo Omena Albuquerque M\'{a}ximo and Takashi Yoneyama},

url = {https://www.sige.ita.br/edicoes-anteriores/2023/st/235455_1.pdf},

issn = {1983 7402},

year  = {2023},

date = {2023-09-26},

urldate = {2023-09-26},

booktitle = {Simp\'{o}sio de Aplica\c{c}\~{o}es Operacionais em \'{A}reas de Defesa (SIGE2023)},

pages = {6},

abstract = {This work explores the use of military simulations in predicting and evaluating the outcomes of potential scenarios. It highlights the evolution of military simulations and the increased capabilities that have arisen due to the advancement of artificial intelligence. Also, it discusses the various applications of military simulations, such as developing tactics and employment doctrines, training decision-makers, evaluating new acquisitions, and developing new technologies. The paper then focuses on the Brazilian Air Force’s efforts to create its own simulation tool, the Aerospace Simulation Environment (Ambiente de Simula\c{c}\~{a}o Aeroespacial \textendash ASA in Portuguese), and how this cloud-based service called ASA Simulation as a Service (ASA- SimaaS) can provide greater autonomy and economy for the military force. The main contribution of this work is to present the ASA-SimaaS solution as a means of empowering digital transformation in defense scenarios, establishing a partnership network, and improving the military’s simulation capabilities and competitiveness},

key = {Digital Transformation, Military Simulations, Simulation as a Service.},

keywords = {C2-DC SEGURAN\c{C}A CIBERN\'{E}TICA E ENGENHARIA DE SOFTWARE},

pubstate = {published},

tppubtype = {inproceedings}

}