Provable Security 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, proceedings - Au, Man Ho (Springer International Publishing, 2015)