Provable security : first international conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 : proceedings / Willy Susilo, Joseph K. Liu, Yi Mu (eds.). - Susilo, Willy; Liu, Joseph K.; Mu, Yi, 1955- (LNCS sublibrary., 2007)