North-Holland
Journal of Logic and Algebraic Programming
Computer Security

Groote, J. F., & Springintveld, J. G. (2001). Focus points and convergent process operators: a proof strategy for protocol verification. Journal of Logic and Algebraic Programming, 49(1-2), 31–60.