Provable Security - Susilo, Willy; Liu, Joseph K.; Mu, Yi (Springer Berlin Heidelberg, 2007)