Title :
The research of formal specification of intrusion detection rules
Author :
Meifeng, Sun ; Jian, Gong
Author_Institution :
Dept. of Comput. Sci. & Technol., Southeast Univ., Nanjing, China
Abstract :
This paper first presents a taxonomy for a detection language and then a methodology for estimating detection languages in terms of their expressive ability, succinctness and detection complexity is developed.
Keywords :
security of data; specification languages; detection complexity; expressive ability; formal specification; intrusion detection rules; succinctness; Computer networks; Computer science; Filters; Formal specifications; Intrusion detection; Polynomials; Sun; Taxonomy;
Conference_Titel :
Local Computer Networks, 2004. 29th Annual IEEE International Conference on
Print_ISBN :
0-7695-2260-2
DOI :
10.1109/LCN.2004.128
