著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices and Barthe, Gilles and Gregoire, Benjamin and Huisman, Marieke and Lanet, Jean-Louis","Construction and analysis of safe, secure, and interoperable smart devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers",,Springer,2006,Lecture notes in computer science,,3540336893,,https://cir.nii.ac.jp/crid/1130000795107252352