孙美凤,龚俭. The Research of Formal Specification of Intrusion detection Rules. IEEE Conference on Local Computer Networks. Vol.1 No.1 P:429-430. 2004-11. EI: 2005269183706