著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Workshop on Formal Aspects in Security and Trust and Dimitrakos, Theo and Martinelli, F. (Fabio) and IFIP World Computer Congress","Formal aspects in security and trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France",,Springer,2005,The International Federation for Information Processing,,0387240500,,https://cir.nii.ac.jp/crid/1130000794162446336