@Inproceedings{EPTCS7.5, author = {Nizamani, Qurat ul Ain and Tuosto, Emilio}, year = {2009}, title = {Heuristic Methods for Security Protocols}, editor = {Boreale, Michele and Kremer, Steve}, booktitle = {{\rm Proceedings 7th International Workshop on} Security Issues in Concurrency, {\rm Bologna, Italy, 5th September 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {7}, publisher = {Open Publishing Association}, pages = {61-75}, doi = {10.4204/EPTCS.7.5}, }