著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International School on Foundations of Security Analysis and Design and Aldini, Alessandro and Barthe, Gilles and Gorrieri, Roberto",Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures,,Springer,2009,Lecture notes in computer science,,9783642038280,,https://cir.nii.ac.jp/crid/1130282270448563584