著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "International Conference on Provable Security and Takagi, Tsuyoshi","Provable security : 6th international conference, ProvSec 2012, Chengdu, China, September 26-28, 2012 : proceedings",,Springer,2012,Lecture notes in computer science,,9783642332715,,https://cir.nii.ac.jp/crid/1130000794646548096