The Research of Formal Specification of Intrusion Detection Rules. - Meifeng Sun; Jian Gong (LCN, 2004)