Security protocol design by composition (2006)

by Hyun-Jin Choi
Venue:University of Cambridge