Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt. Formal Reasoning About Intrusion Detection Systems. In Erland Jonsson, Alfonso Valdes, Magnus Almgren, editors, Recent Advances in Intrusion Detection: 7th International Symposium, RAID 2004, Sophia Antipolis, France, September 15-17, 2004. Proceedings. Volume 3224 of Lecture Notes in Computer Science, pages 278-295, Springer, 2004. [doi]
Abstract is missing.