Secure protocol composition (extended abstract)

Bibliographic Details
Main Authors: Datta, A, Derek, A, Mitchell, J, Pavlovic, D
Format: Conference item
Published: ACM 2003