集計時の負荷を軽減した重み付き電子投票プロトコル
スポンサーリンク
概要
- 論文の詳細を見る
重み付き投票とは,株主総会における議決権行使に代表されるように,1人が複数票を投票可能な投票である.従来,重み情報を秘匿できる重み付き電子投票プロトコルが提案されている.しかし,このプロトコルでは集計の際に各投票の再暗号化とランダムな置換を行わなければならないため,投票者数が多い場合,集計に時間を要する.そこで本稿では,集計時の負荷を軽減した重み付き電子投票プロトコルを提案する.
- 一般社団法人情報処理学会の論文
- 2004-07-20
著者
関連論文
- 教養科目履修の最適割当アルゴリズムの提案(e-learning/一般)
- インターネットアクセス無線メッシュネットワークでの動作アクセスポイント選択アルゴリズムの提案(超高速ネットワーク及びインターネット一般,省エネルギーと超高速ネットワーク,一般)
- 確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較
- 外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法(ソフトウェア工学)
- 在庫管理プログラムの設計に対するJML記述とESC/Java2を用いた検証の事例報告(研究速報)
- 拡張時間オートマトン群による実時間システムの記述および検証
- 時間システムを対象とした到達可能性解析の高速化手法の提案
- 時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析
- OCLのJMLへの変換ツールの実装と評価
- OCLのJMLへの変換ツールの実装について
- 実時間システムを対象としたCEGARによる抽象洗練の並列化手法
- Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価(研究速報)
- 上位設計におけるシステムの振る舞い検証技術(システム設計のための形式手法の基礎と応用)
- B-001 Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール(ソフトウェア,一般論文)
- 時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法(ソフトウェア,フォーマルアプローチ論文)
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- D-3-6 分散実時間アプリケーションのUML/OCL記述から時間オートマトンネットワークを用いた動作仕様記述への変換手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
- 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
- 関数型言語ML向け形式的検証支援システムの試作
- 線形制約式を用いた時間QoS一貫性の検証法 (計算機科学基礎理論の新展開)
- 関数型言語MLによるプレスブルガー文真偽判定ルーチンの開発と検証支援システムへの応用
- D-3-8 分散環境における実時間アプリケーション動作仕様記述からのJavaコード自動導出手法の提案(D-3. ソフトウェアサイエンス)
- マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード導出
- ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案
- ワークフロー記述向きの時間付きカラーペトリネット
- PeerCastにおける経路の動的変更機能の実装(次世代ネットワーク,SIP・プレゼンス,一般)
- API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成
- API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成
- 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
- 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
- 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
- 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
- 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
- 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
- 最適化手法によるパノラマ画像合成法の提案(画像システム,知的マルチメディア処理システム及び一般)
- アプリケーションレベルマルチキャスト通信におけるマルチホーム化ホスト選択アルゴリズムの改良((フォトニック)IPネットワーク技術, (光)ノード技術, WDM技術, 一般)
- アプリケーションレベルマルチキャストにおけるマルチホーム化ホスト選択アルゴリズムの提案(有線/無線シームレスネットワーク, ネットワーク制御, 無線通信, モバイルネットワーキング, Mobile IP, 一般)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための二つの提案(コンピュータグラフィックス)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 集計時の負荷を軽減した重み付き電子投票プロトコル
- 射影変換における座標計算の高速化手法(画像・映像処理)
- D-11-139 射影変換における座標計算の高速化手法 : 誤差の評価(D-11.画像工学D)
- 忙しい人の手料理支援のための献立選択およびまとめ買い選択アルゴリズム(「コミュニティ上での知識の共有・再利用」及び一般)
- 双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案
- ネットワークのリンクスケジューリングへのグラフ彩色アプローチ
- 依存性グラフを利用した非同期式パイプライン合成のための制御回路の構成法(コンピュータ構成要素)
- 制御フローグラフを用いた非同期式パイプライン合成(コンピュータ構成要素)
- 制御フローグラフを用いた非同期式パイプライン合成(プロセッサアーキテクチャ,SWoPP2006)
- 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
- 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
- メモリカードのためのセキュアファイルシステムSASの提案(オフィスインフォメーションシステム及び一般)
- IDENT代理サーバによるリモートアクセスユーザ認証機構
- IDENT代理サーバによるリモートアクセスユーザ認証機構
- 双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案
- 無線LANのアクセスポイント配置アルゴリズムの改良(有線/無線シームレスネットワーク, ネットワーク制御, 無線通信, モバイルネットワーキング, Mobile IP, 一般)
- 講義・演習を対象としたWEBベースの教育支援システムの検討(教育評価/一般)
- 無線LANのWDSにおけるアクセスポイント配置アルゴリズムの提案(モバイルとインターネットの融合, 及び一般)
- 無線LANのWDSにおけるアクセスポイント配置アルゴリズムの提案(モバイルとインターネットの融合, 及び一般)
- 無線LANのWDSにおけるアクセスポイント配置アルゴリズムの提案(モバイルとインターネットの融合, 及び一般)
- アドホックネットワークへの中継アンテナ導入によるホスト間通信経路の確保(有線/無線シームレスネットワーク,ネットワーク制御,無線通信,モバイルネットワーキング,Mobile IP,一般)
- アドホックネットワークへの中継アンテナ導入によるホスト間通信経路の確保(有線/無線シームレスネットワーク,ネットワーク制御,無線通信,モバイルネットワーキング,Mobile IP,一般)
- アプリケーションレベルマルチキャストにおける遠隔講義のための複数経路木生成法の提案(有線/無線シームレスネットワーク, ネットワーク制御, 無線通信, モバイルネットワーキング, Mobile IP, 一般)
- 仮想OSを用いたセキュアなプログラミング課題検証支援システム(先進的学習システム/一般)
- 二階層無線メッシュネットワークへの経路木アルゴリズムの拡張(無線)
- 無線メッシュネットワークでの最大遅延の最小化を目的とした経路木生成アルゴリズムの提案(シームレス通信,一般,ユビキタス時代のネットワークサービス・システム,シームレス通信サービス,一般)
- 複数反例抽出を用いたCEGARによる時間オートマトンの抽象洗練手法
- モバイルホストのユーザ情報を秘匿するアドレス配信プロトコルの提案(セッション4-B : ネットワークセキュリティ(1))
- モバイルホストのユーザ情報を秘匿するアドレス配信プロトコルの提案(セッション4-B : ネットワークセキュリティ(1))
- 集計時の負荷を軽減した重み付き電子投票プロトコル
- WEBによる教育支援システム"NOBASU"での課題プログラム評価(セッション2 : ネットワーク応用と管理)
- アプリケーションレベルマルチキャスト通信における伝送遅延モデルの一考察(有線/無線シームレスネットワーク, ネットワーク制御, 無線通信, モバイルネットワーキング, Mobile IP, 一般)
- OCLからJMLへの変換ツールにおける対応クラスの拡張と教務システムに対する適用実験
- アプリケーションレベルマルチキャスト経路木アルゴリズムCT+法の提案とマルチホーム環境の効果(オーバレイネットワーク, ユビキタス社会構築のためのネットワークに対する理論とその応用論文)
- WDMリングネットワークのノード構成問題(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
- 大規模グループにおいて所属無効化が可能なグループ署名方式
- 大規模グループにおいて所属無効化が可能なグループ署名方式
- モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
- モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
- 多種料理の調理手順最適化アルゴリズムの拡張 (画像工学)
- 多種料理の調理手順最適化アルゴリズムの拡張 (ライフインテリジェンスとオフィス情報システム)
- 多種料理の調理手順最適化アルゴリズムの拡張 (メディア工学)
- 多種料理の調理手順最適化アルゴリズムの拡張 (マルチメディア情報ハイディング・エンリッチメント)
- Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System (マルチメディア情報ハイディング・エンリッチメント)
- Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System (情報通信システムセキュリティ)
- Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System (技術と社会・倫理)
- Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System (情報セキュリティ)
- D-19-3 大学ネットワークにおける匿名IEEE802.1X認証システムの実装(D-19.情報通信システムセキュリティ,一般セッション)
- 制約記述言語OCLとJMLのモデル駆動開発技法に基づいた双方向の変換手法の提案
- SMTソルバーとPDG作成ツールを用いたJavaのテストケース自動導出手法の提案
- PDGとSMTソルバを利用した表明自動導出手法の提案と評価(ソフトウェア工学,ソフトウェア基礎・応用論文)
- 契約記述の変更傾向の開発履歴情報を用いた調査
- 契約記述の変更傾向の開発履歴情報を用いた調査