Proving security protocols with model checkers by data independence techniques. - Roscoe, A.W.; Broadfoot, P.J. (Journal of Computer Security, 1999)