Multi-Attacker Protocol Validation