Jeffrey J. Tsai

Intrusion Detection

Hybrid Parallel Execution Model for Logic-Based Specification Languages