Provable security 10th international conference, ProvSec 2016, Nanjing, China, November 10-11, 2016 : proceedings - Chen, Liqun (Springer, 2016)