Behaviour-based Virus Detection System using Interval Temporal Logic.
Sulaiman Al AmroAntonio CauPublished in: CRiSIS (2011)
Keyphrases
- temporal logic
- virus detection
- model checking
- artificial immune system
- satisfiability problem
- modal logic
- model checker
- verification method
- mazurkiewicz traces
- concurrent systems
- linear temporal logic
- temporal knowledge
- computation tree logic
- genetic algorithm
- transition systems
- dynamic constraints
- formal specification language
- domain specific