Provable Security First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings - Susilo, Willy; Liu, Joseph K.; Mu, Yi (Springer Berlin Heidelberg, 2007)