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