Zeeshan Furqan, Ratan K. Guha, Shahabuddin Muhammad. A Heuristic State Space Search Model for Security Protocol Verification. In João Ascenso, Carlos Belo, Luminita Vasiu, Mónica Saramago, Helder Coelhas, editors, ICETE 2004, 1st International Conference on E-Business and Telecommunication Networks, Setúbal, Portugal, August 24-28, 2004, Proceedings. pages 113-118, INSTICC Press, 2004.
Abstract is missing.