Login / Signup

Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour.

Fabio MartinelliFrancesco MercaldoVittoria NardoneAntonella Santone
Published in: ARES (2017)
Keyphrases
  • formal methods
  • detecting malicious
  • detect malicious
  • machine learning
  • database
  • data mining
  • web pages
  • knowledge base
  • knowledge based systems
  • model checking
  • modeling language