Authentication Primitives for Protocol Specifications.

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami

Browse the full PACT paper archive.