SAT-based Model-Checking of Security Protocols using Planning Graph Analysis