"STATL: An Attack Language for State-Based Intrusion Detection."

Steve T. Eckmann, Giovanni Vigna, Richard A. Kemmerer (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics