著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"FAST and Barthe, Gilles and Datta, Anupam and Etalle, Sandro","Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers",,Springer,2012,Lecture notes in computer science,,9783642294198,,https://cir.nii.ac.jp/crid/1130282268697180672