Detecting Malicious Code by Model Checking.
Johannes KinderStefan KatzenbeisserChristian SchallhartHelmut VeithPublished in: DIMVA (2005)
Keyphrases
- model checking
- detecting malicious
- temporal logic
- detect malicious
- dynamic analysis
- model checker
- formal verification
- automated verification
- computation tree logic
- symbolic model checking
- temporal properties
- anti virus
- epistemic logic
- formal specification
- verification method
- process algebra
- timed automata
- transition systems
- formal methods
- alternating time temporal logic
- source code
- concurrent systems
- linear temporal logic
- asynchronous circuits
- deterministic finite automaton
- web pages
- artificial intelligence
- intrusion detection