著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"田中, 俊行 and Chris, George and 張漢明 and 荒木, 啓二郎",SSLプロトコルの形式仕様記述と検証,情報処理学会論文誌数理モデル化と応用（TOM）,1882-7780,東京 : 情報処理学会,1999-12-15,40,SIG09(TOM2),51-61,https://cir.nii.ac.jp/crid/1050282812868528256,