SATMC: a SAT-based Model Checker for Security Protocols