SATMC: a SAT-based model checker for security protocols, business processes, and security APIs