Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon. A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. In Pierangela Samarati, Sara Foresti, Jiankun Hu, Giovanni Livraga, editors, 5th International Conference on Network and System Security, NSS 2011, Milan, Italy, September 6-8, 2011. pages 1-8, IEEE, 2011. [doi]
Abstract is missing.