Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis