Prasad Naldurg Koushik Sen Prasanna Thati A Temporal Logic Based Framework for Intrusion Detection. 359-376 http://dx.doi.org/10.1007/978-3-540-30232-2_23 2004 conf/forte/2004 FORTE db/conf/forte/forte2004.html#NaldurgST04