Formal Methods and Cryptography.

Michael Backes, Birgit Pfitzmann, Michael Waidner

Browse the full FM paper archive.