SnIPS: Snort Intrusion Analysis using Proof Strengthening