著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
真野 健 and 櫻田 英樹 and 河辺 義信 and 塚田 恭章,ゲーム列による安全性証明の形式化と自動化(<特集>数理的技法による情報セキュリティ),応用数理,09172270,一般社団法人 日本応用数理学会,2007,17,4,302-310,https://cir.nii.ac.jp/crid/1390001205765256064,https://doi.org/10.11540/bjsiam.17.4_302