Provable Security: First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings (Lecture Notes in Computer Science, 4784) | EKB DL