Meifeng Sun, Jian Gong. The Research of Formal Specification of Intrusion Detection Rules. In 29th Annual IEEE Conference on Local Computer Networks (LCN 2004), 16-18 November 2004, Tampa, FL, USA, Proceedings. pages 429-430, IEEE Computer Society, 2004. [doi]