Provable Security 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings - Chow, Sherman S. M.; Liu, Joseph K.; Hui, Lucas C. K.; Yiu, Siu Ming (Springer International Publishing : Imprint: Springer, 2014)