著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
櫻井 幸一,様相論理による坪性の定義および認証プロトコルの安全性検証,コンピュータセキュリティ研究会(CSEC) Vol.54,,,2004,,,55-60,https://cir.nii.ac.jp/crid/1010282256844954121,