Automatic Approximation for the Verification of Cryptographic Protocols. - Frédéric Oehl; Gérard Cécé; Olga Kouchnarenko; David Sinclair (FASec, 2002)