Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols.

Roberto Gorrieri, Fabio Martinelli

Browse the full MFCS paper archive.