著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
住井 英二郎,spi計算における暗号プロトコルの形式的検証(<特集>数理的技法による情報セキュリティ),応用数理,09172270,一般社団法人 日本応用数理学会,2007,17,4,280-290,https://cir.nii.ac.jp/crid/1390001205765257216,https://doi.org/10.11540/bjsiam.17.4_280