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