Provable Security : First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings - Willy Susilo, Joseph K. Liu, Yi Mu ((Lecture Notes in Computer Science))