@techreport{oai:tsukuba.repo.nii.ac.jp:00028673,
 author = {長谷部, 浩二 and HASEBE, KOJI},
 month = {},
 note = {科学研究費助成事業(科学研究費補助金)研究成果報告書：若手研究(B)2009-2011
課題番号：21700023},
 title = {論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築},
 year = {2012},
 yomi = {ハセベ, コウジ}
}