グループ署名回路のクラウドサーバ/クライアント向け実装方法(招待講演)
スポンサーリンク
概要
- 論文の詳細を見る
年々複雑さを増すセキュリティ処理は,処理性能のみならず攻撃耐性確保の観点からも回路化の要求が高い.その中でもグループ署名は,署名した個人を特定することなく認証可能な次世代の認証方式として期待されているが,大きな計算量と複雑な計算手順を要する.また,多種の異装置間で同一アルゴリズムを実行する必要があり,装置毎に回路アーキテクチャを変更する必要がある.本講演ではグループ署名処理に対して,並列処理に重点を置くクラウド・サーバ向け回路と,低電力化に重点を置くクライアント向け回路をそれぞれ最適化した事例を紹介する.いずれの場合も,動作合成を活用して早期性能見積もりを行い,多数のアーキテクチャ候補から最適点を選定する.
- 一般社団法人電子情報通信学会の論文
- 2012-01-12
著者
-
中村 祐一
Nec
-
佐古 和恵
日本電気共通基盤ソフトウェア研究所
-
森岡 澄夫
大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社
-
古川 潤
日本電気
-
古川 潤
日本電気株式会社
-
佐古 和恵
日本電気株式会社
-
中村 祐一
日本電気株式会社
-
森岡 澄夫
日本電気株式会社システムipコア研究所
-
森岡 澄夫
日本電気株式会社 システムIPコア研究所
関連論文
- V850マイコンとパソコンをつないで並列処理 USB接続型赤外線学習リモコンの製作事例 (特集 OSの移植から学習リモコン,CDプレーヤ,しゃべる抽選機の製作まで 必見! フレッシャーズ特別企画(第2弾)V850マイコン基板で作る! 遊ぶ! 学ぶ!)
- 二段階動作合成によるグループ署名ASICの実装と評価 (VLSI設計技術)
- 減色機能を備えるアニメーション向けフォント生成ツールを作成 FRマイコンのOSD機能を使って「初音ミク」アニメーション
- 効率的なグループ署名を実現する楕円曲線の構成方法
- 通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
- アルゴリズムから専用LSIの仕様設計を行う補佐支援システムの構築(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- アルゴリズムから専用LSIの仕様設計を行う補佐支援システムの構築(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 急激に変化する黎明期から,緩やかな成熟期へ LSI/FPGA設計の現状と今後 (特集 HDLをごりごり書かずにSoCやFPGAが設計できる! 複雑化する回路設計にC言語やUMLで反撃!)
- 代数的手法を用いた同期式順序回路の設計支援機能の統合
- 二段階動作合成によるグループ署名ASICの実装と評価(設計事例,システムオンシリコンを支える設計技術)
- 関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明
- ASLプログラム開発システムにおける検証の自動化について
- 共通鍵暗号AESの低消費電力論理回路構成法
- LC-1 ラッチ変換による論理回路の遅延最適化(C. アーキテクチャ・ハードウェア)
- Varchsyn(5) : 論理多段化手法
- 効率的なグループ署名を実現する楕円曲線の構成方法
- 効率的なグループ署名を実現する楕円曲線の構成方法
- アルゴリズムから専用LSIの仕様設計を行う補佐支援システムの構築(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 遅延を考慮した構造化による遅延最適化手法
- in-order実行パイプラインCPUの正しさの自動証明例
- すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
- プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
- グループ署名回路のアーキテクチャ最適化
- グループ署名回路のアーキテクチャ最適化
- 候補者のプライバシーを考慮した電子投票
- セキュリティとプライバシを両立させる匿名認証技術について
- ミックスネットについて : 電子データをシャッフルする方法 (符号と暗号の代数的数理)
- シャッフリングによる大規模電子投票システムの実現
- ECにおける暗号技術 (EC(電子商取引)特集)
- インタ-ネットにおけるセキュリティ技術の役割 (インタ-ネット特集)
- 電子承認システムSIGNET
- 多重並列グループ署名の低消費電力回路アーキテクチャ (VLSI設計技術)
- 形式的手法を用いたin-order実行パイプラインCPUの自動設計検証(並列処理)
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明
- 一つのEFSMの複数EFSMによる実現の正しさの一証明法
- 代数的手法を用いたパイプライン方式CPUの設計検証
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
- 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
- 短い個人鍵の不正者のブラックボックス失効が可能な放送型暗号方式
- AT-2-4 Pairingによる暗号プロトコルの効率化例(AT-2.情報セキュリティを支える新技術Pairingの現状と今後の展望,ソサイエティ企画)
- OMSPレスポンダ : グループ署名における失効メンバ確認モデル(ネットワークセキュリティ)
- in-order実行パイプラインCPUの正しさの自動証明例
- 代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化
- プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化
- 全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム
- 整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明
- 並列実行される動作におけるデータ代入の衝突の判定
- 代数的手法を用いた順序回路設計支援システムにおける検証支援機能と検証手順
- 二段階動作合成によるグループ署名ASICの実装と評価
- ハードウェアで高速並列処理を実現したリードソロモン復号アルゴリズム(下)アルゴリズムの詳細と回路化のためのポイント
- ハードウェアで高速処理を実現したリードソロモン復号アルゴリズム(上)高速化のための工夫と応用例
- 組み合わせ回路で実現したReed-Solomon符号・復号器の論理簡単化
- 組み合わせ回路による高速Reed-Solomon符号化復合化方式
- 処理のあらましを理解して回路を作ろう わかる! CRC計算回路の作り方とアレンジ
- スペ-スシャトルに使われているコンピュ-タ技術
- スペ-スシャトルに使われているコンピュ-タ技術
- Simulinkモデルにもとづいた並列Cコード生成(コード生成と通信技術,組込み技術とネットワークに関するワークショップETNET2011)
- Simulinkモデルにもとづいた並列Cコード生成(コード生成と通信技術,組込み技術とネットワークに関するワークショップETNET2011)
- 次状態関数処理に基づく高速不揮発メモリに対する書き込み最適化(論理設計2,システムオンシリコンを支える設計技術)
- 多重並列グループ署名の低消費電力回路アーキテクチャ(アーキテクチャ設計1,システムオンシリコンを支える設計技術)
- 14.ニューヨークの小学校で10歳の私が学んだこと(研究者・技術者の倫理観・人生観)
- 公平性保証とプライバシー保護(明るい社会を築く暗号 : 暗号は社会を変革する)
- 状態遷移の解析に基づく磁気フリップフロップ書き込み制御手法 (VLSI設計技術)
- 二段階動作合成によるグループ署名回路の早期性能調整法と実装例(グループ署名回路,暗号と情報セキュリティ実装技術論文)
- A-3-10 状態遷移の解析に基づく書込み制御回路の検討(A-3.VLSI設計技術,一般セッション)
- グループ署名回路のクラウドサーバ/クライアント向け実装方法(招待講演)
- 二段階動作合成によるグループ署名回路の早期性能調整法と実装例
- グループ署名回路のクラウドサーバ/クライアント向け実装方法
- 状態遷移の解析に基づく磁気フリップフロップ書き込み制御手法(システム設計,システム設計及び一般)
- 3-2 ASICとFPGAどちらを使いますか?(3.システムLSI及びFPGAを用いたシステム設計例,転換期に来たシステムLSI技術と将来への展望)
- A-12-1 計算機ネットワークにおける依存関係のあるタスクの配置とスケジューリングへのSMTの応用(A-12.システム数理と応用)
- 状態遷移の解析に基づく磁気フリップフロップ書き込み制御手法