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