| 研究課題/領域番号 |
23700024
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 愛知工業大学 |
|---|
研究代表者 |
河辺 義信 愛知工業大学, 情報科学部, 准教授 (80396184)
|
|---|
| 研究期間 (年度) |
2011 – 2013
|
| 研究課題ステータス |
完了 (2013年度)
|
| 配分額 *注記 |
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2013年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2011年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
|
|---|
| キーワード | プライバシ / 形式手法 / 検証 / 定理証明 / 無証拠性 / Crowds / セキュリティプロトコル / 形式検証 |
|---|
| 研究概要 |
近年ＩＣＴ社会において，プライバシ保護の必要性が強く叫ばれている．本研究では，従来より提案されていた「匿名性」の論理的な定義とその検証法を用いて，さまざまなプライバシ関連の性質を証明する手法を明らかにした．具体的には，「無証拠性」と呼ばれる，電子投票の秘密を守るための条件を匿名性として定式化し，Ｌｅｅらの電子投票プロトコルの無証拠性の証明に応用した．また，Ｃｒｏｗｄｓと呼ばれる秘密通信路の分散実装（および，その拡張）を形式的に記述し，その正しさを示した．さらには，プライバシを示す上で必要になるトレース一致と呼ぶ条件を，Ａｌｌｏｙと呼ばれる全自動の検証器を用いて検証する手法について明らかにした．
|
