Verifying Security Protocols: An ASM Approach (2005)

by D Haneberg, H Grandy, W Reif, G Schellhorn
Venue:University Paris 12 – Val de Marne