Rusinowitchand Turuani. Protocol Insecurity with a Finite Number of Sessions and Composed Keys Is Np-complete. no. 1-3, Elsevier BV, 2003, doi:10.1016/s0304-3975(02)00490-5.