Provable Security 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings - Au, Man-Ho; Miyaji, Atsuko (Springer International Publishing : Imprint: Springer, 2015)