A misuse-based network Intrusion Detection System using Temporal Logic and stream processing.

Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon

Browse the full NSS paper archive.