@techreport{oai:tsukuba.repo.nii.ac.jp:00034300, author = {長谷部, 浩二 and Hasebe, Koji}, month = {}, note = {科学研究費助成事業 研究成果報告書:若手研究(B)2012-2013 課題番号:24700022}, title = {論理推論を基にした合理的秘密分散プロトコルの安全性検証法の構築}, year = {2014}, yomi = {ハセベ, コウジ} }