![]() | Up a level |
Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2002) Authentication Primitives for Refining Protocol Specifications. UNSPECIFIED.
Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado (2001) Primitives for Authentication in Process Algebras. UNSPECIFIED.