@techreport{beaucamps:hal-00803412, TITLE = {{Behavior Analysis of Malicious Code by Weighted Behavior Abstraction}}, AUTHOR = {Beaucamps, Philippe and Gnaedig, Isabelle and Marion, Jean-Yves}, URL = {https://inria.hal.science/hal-00803412}, TYPE = {Research Report}, YEAR = {2013}, MONTH = Mar, KEYWORDS = {Malware ; behavioral detection ; behavior abstraction ; trace ; term rewriting ; model checking ; first order temporal logic ; probability ; weight ; finite state automaton ; formal language}, PDF = {https://inria.hal.science/hal-00803412/file/pondere-hal.pdf}, HAL_ID = {hal-00803412}, HAL_VERSION = {v1}, }