A Heuristic State Space Search Model for Security Protocol Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Zeeshan Furqan' in GoogleThis author has not been identified. Look up 'Ratan K. Guha' in GoogleThis author has not been identified. Look up 'Shahabuddin Muhammad' in Google

runs on WebDSL