Temporal Logic and Stream Data Processing for Intrusion Detection

Publications

• A. Ahmed, A. Lisitsa, C. Dixon, A Misuse-based Network Intrusion Detection System using Temporal Logic and Stream Processing, In Proc. of NSS 2011, pp. 1-8
• A. Ahmed, A. Lisitsa, C. Dixon, TeSID: A High Performance Temporal Intrusion Detection System, in Proc. of ICIMP 2013
• A. Ahmed, Online Network Intrusion Detection System Using Temporal Logic and Stream Data Processing, PhD thesis, University of Liverpool, 2013