Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees