From Declarative Signatures to Misuse IDS. - Jean-Philippe Pouzol; Mireille Ducassé (Recent Advances in Intrusion Detection, 2001)

Formal Specification of Intrusion Signatures and Detection Rules. - Jean-Philippe Pouzol; Mireille Ducassé (CSFW, 2002)