Willy Susilo Joseph K. Liu Yi Mu Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings ProvSec Lecture Notes in Computer Science 4784 Springer 2007 978-3-540-75669-9 db/conf/provsec/provsec2007.html