著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"FAST and Dimitrakos, Theo and Martinelli, F. (Fabio) and Ryan, Peter Y.A. and Schneider, Steve","Formal aspects in security and trust : Third International Workshop, FAST 2005 : Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers",,Springer,2006,Lecture notes in computer science,,3540326286,,https://cir.nii.ac.jp/crid/1130000794067570560