Directed Model Checking for Security Protocols. Sindh. Uni. Res. J. SS 2012, 44 (2).