Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012, Proceedings Takagi Tsuyoshi Heftet / 2012 / Engelsk
