著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International School on Foundations of Security Analysis and Design and Aldini, Alessandro and Gorrieri, Roberto and Martinelli, F. (Fabio)",Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures,,Springer,2005,Lecture notes in computer science,,9783540289555,,https://cir.nii.ac.jp/crid/1130000794855759872