Systematic classification of attackers via bounded model checking

DOI10.1007/978-3-030-39322-9_11MaRDI QIDQ784132zbMATH OpenOpenAlexFDO

Authors D. Kharzeev

Publication date 5 August 2020

Full work available at URL https://arxiv.org/abs/1911.05808, https://ink.library.smu.edu.sg/sis_research/4634

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Towards modelling adaptive attacker's behaviour
• Counterexample classification
• Model Checking Exact Cost for Attack Scenarios
• Bounded model checking using satisfiability solving
• The security of machine learning

Cited in

(2)

• BCARET model checking for malware detection
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack

This page was built for publication: Systematic classification of attackers via bounded model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784132)