David A. Basin, Sebastian Mödersheim, Luca Viganò: CDiff: a new reduction technique for constraint-based analysis of security protocols. CCS 2003: 335-344