川本 裕輔, 真野 健, 櫻田 英樹, 萩谷 昌己
日本応用数理学会論文誌
17
(4),
559-576,
2007
...マルチエージェントシステムの枠組みを用いて,セキュリティプロトコルにおける暗号関数の部分知識を定式化し解析する手法を提案する.具体的には,暗号関数の解釈がランごとに異なるモデルを考え,能動的攻撃者の下での電子投票プロトコルの匿名性と耐買収性を定式化し検証する手法を提案し,本手法が実際的なプロトコルにも適用できることを述べる.また,本手法の計算論的正当化についても論じる....
DOI
Web Site
被引用文献2件
参考文献14件