A Temporal Logic Based Framework for Intrusion Detection.

Prasad Naldurg, Koushik Sen, Prasanna Thati

Browse the full FORTE paper archive.