著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
住井 英二郎,チュートリアル 暗号化通信のspi計算による形式的検証,コンピュータソフトウェア = Computer software,02896540,東京 : 日本ソフトウェア科学会 ; 1984-,2003-11,20,6,607-616,https://cir.nii.ac.jp/crid/1520009407585801600,