@techreport{oai:tsukuba.repo.nii.ac.jp:00053433,
 author = {長谷部, 浩二 and HASEBE, Koji},
 month = {},
 note = {科学研究費助成事業 研究成果報告書：基盤研究(C)2014-2017課題番号 : 26330076},
 title = {知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究},
 year = {2018},
 yomi = {ハセベ, コウジ}
}