著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 萩原 茂樹 and 米崎 直樹,記号論及び計算論によるセキュリティ解析の相互関係(<特集>数理的技法による情報セキュリティ),応用数理,09172270,一般社団法人 日本応用数理学会,2007,17,4,291-301,https://cir.nii.ac.jp/crid/1390282680741966080,https://doi.org/10.11540/bjsiam.17.4_291