An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols