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

David A. Basin, Sebastian Mdersheim, Luca Vigan

Browse the full CCS paper archive.