CDiff: a new reduction technique for constraint-based analysis of security protocols.