Behaviour-based Virus Detection System using Interval Temporal Logic.

Sulaiman Al Amro Antonio Cau

Published 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