Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Armando, A., Basin, D., Cuellar, J. et al. Automated Reasoning for Security Protocol Analysis. J Autom Reasoning 36, 1–3 (2006). https://doi.org/10.1007/s10817-005-9014-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-005-9014-x