ACM Press
ACM Workshop on Formal Methods in Security
Specification and Analysis of Embedded Systems

Cederquist, J. G., & Dashti, M. (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.