Authentication Primitives for Protocol Specifications

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami. Authentication Primitives for Protocol Specifications. In Victor E. Malyshkin, editor, Parallel Computing Technologies, 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings. Volume 2763 of Lecture Notes in Computer Science, pages 49-65, Springer, 2003. [doi]

Authors

Chiara Bodei

This author has not been identified. Look up 'Chiara Bodei' in Google

Pierpaolo Degano

This author has not been identified. Look up 'Pierpaolo Degano' in Google

Riccardo Focardi

This author has not been identified. Look up 'Riccardo Focardi' in Google

Corrado Priami

This author has not been identified. Look up 'Corrado Priami' in Google