Heuristic for Directed Model Checking of Security Protocols. Sindh University Research Journal - SURJ (Science Series), v. 44, n. 3, 11 Sep.2012.