Authentication primitives for secure protocol specifications

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami. Authentication primitives for secure protocol specifications. Future Generation Comp. Syst., 21(4):645-653, 2005. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: