著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"FAST and Degano, Pierpaolo and Etalle, Sandro and Guttman, Joshua D","Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers",,Springer,2011,Lecture notes in computer science,,9783642197505,,https://cir.nii.ac.jp/crid/1130000793746811136