Provable Security 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings - Okamoto, Tatsuaki; Yu, Yong; Au, Man Ho; Li, Yannan (Springer International Publishing : Imprint: Springer, 2017)