バックワード匿名シミュレーションを用いた匿名性の検証
スポンサーリンク
概要
- 論文の詳細を見る
匿名性の考え方は，寄付，投票，新聞や雑誌への投書，内部告発，論文の査読など，実世界のさまざまな場面に現れている．分散システムにおいても，インターネットを用いた投票システムなど，匿名性が保証されるべきシステムを考えることができる．本稿では，バックワード匿名シミュレーションと呼ばれる関係を用いた匿名性の検証方法を示す．さらに，電子投票プロトコルに対する，定理証明器による匿名性検証の事例を示す．
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)