Additional Metadata
Publisher ACM Press
Conference ACM Workshop on Formal Methods in Security
Citation
Cederquist, J.G, & Dashti, M.T. (2006). An intruder model for verifying liveness in security protocols. In Proceedings of the fourth ACM Workshop on Formal Methods in Security (pp. 23–32). ACM Press.