Goubault-Larrecq, J., Roger, M., & Verma, K. N. (2005). Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically. The journal of logic and algebraic programming, 64(2), 219-251. https://doi.org/10.1016/j.jlap.2004.09.004
Chicago-Zitierstil (17. Ausg.)Goubault-Larrecq, Jean, Muriel Roger, und Kumar Neeraj Verma. "Abstraction and Resolution Modulo AC: How to Verify Diffie–Hellman-like Protocols Automatically." The Journal of Logic and Algebraic Programming 64, no. 2 (2005): 219-251. https://doi.org/10.1016/j.jlap.2004.09.004.
MLA-Zitierstil (9. Ausg.)Goubault-Larrecq, Jean, et al. "Abstraction and Resolution Modulo AC: How to Verify Diffie–Hellman-like Protocols Automatically." The Journal of Logic and Algebraic Programming, vol. 64, no. 2, 2005, pp. 219-251, https://doi.org/10.1016/j.jlap.2004.09.004.