Willy Susilo, Joseph K. Liu, Yi Mu, editors, Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings. Volume 4784 of Lecture Notes in Computer Science, Springer, 2007.
Conference: provsec2007