ペアリングベース匿名クレデンシャルシステムにおける属性CNF式の効率的な証明(セキュリティ,一般)
スポンサーリンク
概要
- 論文の詳細を見る
匿名クレデンシャルシステムでは,証明書発行機関からユーザに証明書が発行され,ユーザは検証者へその証明書の保持を匿名で証明できる.それに加えて,ユーザは,証明書により保証された自身の属性における関係式も証明可能である.従来,証明サイズが属性数に依存せず固定長となる利点をもつペアリングベース方式が提案されている.この方式では,属性の内積述語を証明でき,このため任意のCNF式(もしくはDNF式)を証明可能である.しかしながら,証明生成においてCNF式に含まれるリテラルの数に依存した回数のべき乗演算が必要となる問題がある.そこで本研究では,従来システムよりも効率的に固定長サイズのCNF式証明を生成可能な方式を提案する.提案方式では,証明生成において,リテラル数に依存した乗算のみが必要であり,従来方式より効率的になっている.この方式では,アキュームレータを拡張して利用することにより効率化を実現している.拡張したアキュームレータでは,複数の属性情報が複数の集合に所属することを乗算を用いて効率的に証明可能であり,これにより効率的にCNF式を証明できる.
- 2012-07-12
著者
-
中西 透
岡山大学大学院自然科学研究科
-
中西 透
岡山大学工学部通信ネットワーク工学科
-
船曳 信生
岡山大学工学部通信ネットワークエ学科
-
船曳 信生
岡山大学工学部
-
船曳 信夫
岡山大学工学部通信ネットワーク工学科
-
舩曳 信生
岡山大学大学院自然科学研究科
-
舩曳 信夫
岡山大学大学院自然科学研究科
-
中西 透
日本クエン酸サイクル研究会
-
ベゴム ナシマ
岡山大学大学院自然科学研究科
関連論文
- 閲覧サイズに適応するWebページレイアウト最適化法でのアクセス性改善(ライフインテリジェンス,デジタルドキュメント,一般1,知識の共有・伝承・知的活用に関するシステム・技術,一般)
- 多様な閲覧サイズのためのWebページレイアウト最適化法の提案(一般,ルーチングシステム(適応ルーチング,QoSルーチング,マルチキャスト),ネットワークアプリケーション(IP-TV,ストリーミング,Web2.0),一般)
- ペアリングを用いた効率的な属性ベースグループ署名方式の提案(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- シーン対応分割によるマルチサーバビデオエンコードシステム(一般,ルーチングシステム(適応ルーチング,QoSルーチング,マルチキャスト),ネットワークアプリケーション(IP-TV,ストリーミング,Web2.0),一般)
- プロキシを用いた匿名認証システムの改良と匿名掲示板への応用
- オープンソースソフトウェアインストールマニュアル管理のためのWEBデータベースシステム(ユビキタス・モバイル学習環境/一般)
- スケーラブル無線メッシュネットワークのためのスマートアクセスポイント配置アルゴリズムの提案(ネットワークアーキテクチャ(オーバレイ,P2P,ユビキタスNW,スケールフリーNW,アクティブNW,NGN・新世代NW),次世代パケットトランスポート(高速Ethernet,IPoverWDM,マルチサービスパケット技術,MPLS),グリッド,一般)
- 無線メッシュネットワークのアクセスポイント間通信での優先度制御に関する一検討(フォトニックネットワークシステム,光ルーチング,ブロードバンドアプリケーション,一般)
- 室内環境向け無線メッシュネットワークでのアクセスポイント配置アルゴリズム(無線ネットワーク,高度プロトコル・ネットワーキング技術(IP及び高位レイヤルーチング・フィルタリング,マルチキャスト,品質・経路制御),IPNWの利用技術(P2P,P4P,オーバレイ,SIP,NGN),ネットワークシステム関連技術(システム構成法,インタフェース,アーキテクチャ,ハードウェア・ソフトウェア・ミドルウェア),一般)
- 無線メッシュネットワークのアクセスポイント配置アルゴリズムの高信頼化拡張(無線ネットワーク,高度プロトコル・ネットワーキング技術(IP及び高位レイヤルーチング・フィルタリング,マルチキャスト,品質・経路制御),IPNWの利用技術(P2P,P4P,オーバレイ,SIP,NGN),ネットワークシステム関連技術(システム構成法,インタフェース,アーキテクチャ,ハードウェア・ソフトウェア・ミドルウェア),一般)
- テスト駆動型開発手法によるJavaプログラミング教育支援システムの提案(e-Learningコンテンツ/一般)
- プライバシを保護した授業評価アンケートの実装
- 仮想マシンモニタ"Xen"を用いたスケーラブルなWebサーバシステムの提案(NW管理,次世代NWアーキテクチャ,次世代NWのオペレーションアーキテクチャ,トラヒック計測・モデリング・品質,オーバレイネットワーク,次世代NWサービス品質,一般)
- 署名生成・検証時間が一定であるメンバ失効可能グループ署名方式の公開鍵サイズの低減
- モバイルホストの負荷を軽減した失効機能をもつ匿名IEEE802.1X認証の実装
- 教育支援システムNOBASUでの文章作法オンライン検査機能(ユビキタス・モバイル学習環境/一般)
- 閲覧サイズに適応する Web ページレイアウト最適化法でのアクセス性改善
- スケーラブル無線メッシュネットワークのための通信路構成最適化アルゴリズム(地上無線通信)
- WEBベースの教育支援システム"NOBASU"の拡張と評価(情報教育/一般)
- インターネットアクセス無線メッシュネットワークでの動作アクセスポイント選択アルゴリズムの提案(超高速ネットワーク及びインターネット一般,省エネルギーと超高速ネットワーク,一般)
- 署名者の負担を軽減した失効機能をもつペアリングを用いたグループ署名方式の実装
- プライバシ保護を目的としたグループ署名に基づくSSL/TLSプロトコルの実装
- ペアリングを用いた効率的な属性ベースグループ署名方式の提案(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- WDMリングネットワークのノード構成問題の展開
- 効率的に検証者ローカル失効確認ができるグループ署名方式の実装
- 無線メッシュネットワークのスループット最大化のための動作AP選択指標の検討 (無線通信システム)
- 無線メッシュネットワークのスループット最大化のための動作AP選択指標の検討 (ネットワークシステム)
- デジタル紙芝居システムのための配信経路生成アルゴリズムの提案(ユビキタス時代のNWシステム・サービス,シームレス通信サービス,一般)
- スケーラブル無線メッシュネットワークの通信性能を極大とする最小スマートアクセスポイント配置(オーバレイ,P2P,ユビキタスNW,スケールフリーNW,アクティブNW,NGN・新世代NW),次世代パケットトランスポート(高速Ethernet,IPoverWDM,マルチサービスパケット技術,MPLS),グリッド,一般)
- 多種料理の調理手順スケジューリングアルゴリズムの複数調理者への拡張(一般,「Webサービス・クラウド」及び一般)
- テスト駆動型開発手法のJavaプログラミング教育応用におけるテストコード提出機能
- A proposal of traffic control method with bandwidth usage estimation for real-time applications in wireless mesh networks (無線通信システム)
- An implementation of a pairing-based anonymous credential system with constant complexity (ネットワークシステム)
- A proposal of traffic control method with bandwidth usage estimation for real-time applications in wireless mesh networks (ネットワークシステム)
- 多種料理の調理順最適化アルゴリズムの提案
- 無線メッシュネットワークでの高信頼アクセスポイント配置アルゴリズムの改良と経路可度指標の導入(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・User Network Interface,Homeネットワーク,一般)
- プライバシを保護した授業評価アンケートの実装
- 無線メッシュネットワークでのコンテンションウインドウサイズ操作時のスループット測定結果(フォトニックネットワークシステム,光ルーチング,ブロードバンドアプリケーション,一般)
- 無線メッシュネットワークでの帯域測定実験とその考察(フォトニックネットワークシステム,光ルーチング,ブロードバンドアプリケーション,一般)
- 忙しい人の手料理支援のための献立選択およびまとめ買い選択アルゴリズム(「コミュニティ上での知識の共有・再利用」及び一般)
- 調理手順最適化のための調理モデルの拡張と副調理者の役割変更の効果(「コミュニティ上での知識の共有・再利用」及び一般)
- 無線メッシュネットワークの室内環境でのアクセスポイント配置アルゴリズム(無線ネットワーク・センサネットワーク,インターネットトラヒック,TCP/IP,性能解析・評価,ネットワークモデル及び一般)
- 構造化学習のための講義シーンの分類・関連付け手法の提案
- デジタル紙芝居による講義シーン再生システムの提案(教育・学習評価/一般)
- 操作ログを用いたオープンソースソフトウェアのインストールマニュアル自動生成法の提案
- メモリカードのためのセキュアファイルシステムSASの提案と実装(モバイルコンピューティング,ユビキタス社会を支えるコンピュータセキュリティ技術)
- テスト駆動型開発手法の Java プログラミング教育応用におけるテストコード提出機能
- 多種料理の調理順最適化アルゴリズムの提案
- リモートI/O機器のための組込みLinux(次世代ネットワーク,SIP・プレゼンス,一般)
- 教育支援システムNOBASUの支援機能の拡張(協調学習・CSCL/一般)
- Webを用いたマークシート方式テスト支援機能の実装 (教育工学)
- 無線メッシュネットワークでの動作アクセスポイント選択アルゴリズムの提案(地上無線通信,放送技術,通信技術の未来を築く学生論文)
- 複数ネットワークインターフェースを有するエンドホストでのサービス指向型ルーティングの実装(次世代ネットワーク,SIP・プレゼンス,一般)
- 所属無効化可能なグループ署名方式の素数情報を用いた高速化とその実装
- 無線メッシュネットワークの実用性向上を目的としたスマートアクセスポイントの構築(NW管理,次世代NWアーキテクチャ,次世代NWのオペレーションアーキテクチャ,トラヒック計測・モデリング・品質,オーバレイネットワーク,次世代NWサービス品質,一般)
- WDMリングネットワークのノード構成アルゴリズムの改良(PN一般セッション,IPバックボーンネットワーク,MPLS,GMPLS,フォトニックネットワーク及び一般)
- A generalized access point allocation algorithm for wireless mesh networks in indoor environments (ネットワークシステム)
- ユーザ失効を考慮した匿名IEEE802.1X認証の実装(セッション3-B : 認証・報告)
- ユーザ失効を考慮した匿名IEEE802.1X認証の実装(セッション3-B : 認証・報告)
- ペアリングを用いた効率的なForward-Secureグループ署名方式の提案
- ペアリングを用いた効率的なForward-Secureグループ署名方式の提案
- An implementation and evaluation of fixed backoff-time switching method on QualNet for wireless mesh network (ネットワークシステム)
- Webによる学習管理システム向け4階層アーキテクチャの提案とNOBASUでの実装(セッション4:セキュリティーアーキテクチャ)
- 忙しい人のためのWebを用いた手作り料理支援システムにおける献立作成・調理手順最適化機能の実装(エンタテインメントを活用した学習環境/一般)
- Javaプログラミングの予約語学習のためのオンライン穴埋め問題機能の実装(エンタテインメントを活用した学習環境/一般)
- uClinux環境下でのOSレベル仮想化の実現(一般セッション1:オペレーティングシステム)
- 無線メッシュネットワークのスループット最大化のための動作AP選択指標の検討(無線マルチホップネットワーク特集セッション,モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- 無線メッシュネットワークのスループット最大化のための動作AP選択指標の検討(無線マルチホップネットワーク特集セッション,モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- Webを用いたマークシート方式テスト支援機能の実装(エンタテインメントを活用した学習環境/一般)
- 無線メッシュネットワークでのリアルタイム通信のための消費帯域推定によるトラヒック制御方式の提案(無線マルチホップネットワーク特集セッション,モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- 無線メッシュネットワークでのリアルタイム通信のための消費帯域推定によるトラヒック制御方式の提案(無線マルチホップネットワーク特集セッション,モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- 計算量が一定となるペアリングベース匿名証明書システムの実装(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)
- テスト駆動型開発手法を用いたJavaプログラミング学習システムでのコード検証方法の改善 (教育工学)
- 無線メッシュネットワークでの動作アクセスポイント選択アルゴリズムの提案
- WDMリングネットワークのノード構成問題の一般化
- 無線メッシュネットワークのためのQualNetでの固定バックオフ時間切替方式の実装と評価(コア・メトロシステム,フォトニックネットワーク・システム,光ネットワーク運用管理,光ネットワーク設計,トラヒックエンジニアリング,シグナリング,GMPLS,ドメイン間経路制御,ネットワーク監視,イーサネット,光伝達網(OTN),高速インタフェース,光制御(波長変換・スイッチング・ルーチング),光ノード技術,光クロスコネクト(OXC),光分岐挿入多重(OADM),光多重・分離装置,光信号処理光スイッチ素子,一般)
- ボランティアコンピューティングにおける結託攻撃のモデル化と性能評価(ネットワーク環境でのディペンダビリティ,及び一般)
- テスト駆動型開発手法を用いたJavaプログラミング学習システムでのコード検証方法の改善(教育・学習のICT化支援/一般)
- 無線メッシュネットワークのスループット最大化のための動作AP選択アルゴリズムの改良(ネットワークアーキテクチャ(オーバレイ,P2P,ユビキタスNW,スケールフリーNW,アクティブNW,NGN・新世代NW),次世代パケットトランスポート(高速Ethernet,IP over WDM,マルチサービスパケット技術,MPLS),グリッド,一般)
- 匿名属性認証における効率的な範囲証明プロトコルの提案 (情報セキュリティ)
- ボランティアコンピューティングの妨害者対策における抜取検査併用の効果 (ネットワークシステム)
- テスト駆動型開発手法を用いたJavaプログラミング学習システムでの誤りコード指示機能の実装 (教育工学)
- Webを用いたマークシート方式テスト支援機能の拡張 (教育工学)
- Javaプログラミング学習支援システムの穴埋め問題機能の拡張と授業への適用 (教育工学)
- A Proposal of an Access-Point Aggregation Algorithm for Wireless Local Area Networks (ネットワークシステム)
- 管理者に対して強固な秘匿性を持つ評価システムの提案 (情報セキュリティ)
- 多種料理の調理手順最適化アルゴリズムの拡張 (画像工学)
- 多種料理の調理手順最適化アルゴリズムの拡張 (ライフインテリジェンスとオフィス情報システム)
- 多種料理の調理手順最適化アルゴリズムの拡張 (メディア工学)
- 多種料理の調理手順最適化アルゴリズムの拡張 (マルチメディア情報ハイディング・エンリッチメント)
- 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.情報通信システムセキュリティ,一般セッション)
- Javaプログラミング学習支援システムにおけるコード設計学習機能の実装 (教育工学)
- 管理者に対して強固な秘匿性を持つ評価システムの提案(一般)
- 無線LANのアクセスポイント集約アルゴリズムの提案(一般,モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・UserNetworkInterface,Homeネットワーク,一般)