著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Heng, Swee-Huay and Kurosawa, Kaoru and ProvSec (4th : 2010 : Melacca, Malaysia)","Provable security : 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13 - 15, 2010 : proceedings",,Springer,2010,Lecture notes in computer science,,9783642162794,,https://cir.nii.ac.jp/crid/1130282269263052032