Systematic classification of attackers via bounded model checking

DOI10.1007/978-3-030-39322-9_11OpenAlexW3004323535MaRDI QIDQ784132FDOQ784132

Authors: D. Kharzeev 

Publication date: 5 August 2020

Full work available at URL: https://arxiv.org/abs/1911.05808

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

Mathematics Subject Classification ID

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

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)