Informasi yang berkaitan dengan SAT-based Model-Checker for Security Protocols and Security-sensitive Application