GitHub repository: seclab-ucr/Themis
Primary language: C++
Description: Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison