一种入侵检测系统的形式化建模及其检测方法的研究
彭雅丽 章志明 余敏
Formal modeling of a kind of IDS and its detection technology
计算机应用 . 2006, (7): 1643 -1645 .