Formal Reasoning About Intrusion Detection Systems.

Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt

Browse the full RAID paper archive.