Provable security first International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 ; proceedings (Springer, 2007)