Recognizing malicious software behaviors with tree automata inference

DOI10.1007/s10703-012-0149-1zbMath1284.68164OpenAlexW1992904312MaRDI QIDQ2441717

Dawn Song, Daniel Reynaud, Domagoj Babić

Publication date: 28 March 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-012-0149-1

zbMATH Keywords

behavioral malware detectiontree automata inference

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Unveiling metamorphism by abstract interpretation of code properties

Uses Software

• DART
• WUSSTrace
• DTA++

Cites Work

• Locally testable languages
• Symbolic execution and program testing
• Complexity of automaton identification from given data
• Automata theory and its applications

This page was built for publication: Recognizing malicious software behaviors with tree automata inference