Process Algebraic Analysis of Cryptographic Protocols.

Michele Boreale, Rocco De Nicola, Rosario Pugliese

Browse the full FORTE paper archive.