Provable Security 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings - Chen, Liqun; Han, Jinguang (Springer International Publishing : Imprint: Springer, 2016)