二段階動作合成によるグループ署名回路の早期性能調整法と実装例(グループ署名回路,<小特集>暗号と情報セキュリティ実装技術論文)
スポンサーリンク
概要
- 論文の詳細を見る
ユーザIDを特定せず認証が行えるグループ署名(匿名認証)を低電力組込み機器等で使用可能とするため,回路実装を行った.回路化では,レイテンシ・動作周波数・回路規模・電力など,多様な搭載機器の設計制約に合わせてアーキテクチャを柔軟に調整できる事が,特に重要な要求事項となった.しかしグループ署名は,多ビット長のべき乗剰余演算や楕円曲線演算が約30〜40回組み合わさった演算であるため,標準的回路設計法であるRTL論理合成は無論,より設計抽象度の高いCベース動作合成であっても,マイクロアーキテクチャ自動調整しか行えない.そこで今回,署名演算が非ストリーム処理で通信ネックでない等の特徴を生かし,専用のマクロアーキテクチャ自動合成系を構築した.本手法を利用してASIC実装を行った結果,0.25μmゲートアレーという低コストプロセスのもとでも,3GHz PC S/Wと同等の高速度(署名生成0.135秒@100MHz)を低消費電力(425mW@100MHz)で達成でき,回路化の効果や設計手法の有用性が確かめられた.
- 2012-05-01
著者
-
一色 寿幸
日本電気共通基盤ソフトウェア研究所
-
尾花 賢
日本電気共通基盤ソフトウェア研究所
-
佐古 和恵
日本電気共通基盤ソフトウェア研究所
-
森岡 澄夫
大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社
-
尾花 賢
日本電気株式会社インターネットシステム研究所
-
佐古 和恵
日本電気株式会社
-
森岡 澄夫
日本電気株式会社システムipコア研究所
-
一色 寿幸
日本電気株式会社情報・メディアプロセッシング研究所
-
尾花 賢
日本電気株式会社
-
森岡 澄夫
日本電気株式会社 システムIPコア研究所
-
一色 寿幸
日本電気株式会社
関連論文
- V850マイコンとパソコンをつないで並列処理 USB接続型赤外線学習リモコンの製作事例 (特集 OSの移植から学習リモコン,CDプレーヤ,しゃべる抽選機の製作まで 必見! フレッシャーズ特別企画(第2弾)V850マイコン基板で作る! 遊ぶ! 学ぶ!)
- 二段階動作合成によるグループ署名ASICの実装と評価 (VLSI設計技術)
- 減色機能を備えるアニメーション向けフォント生成ツールを作成 FRマイコンのOSD機能を使って「初音ミク」アニメーション
- 効率的なグループ署名を実現する楕円曲線の構成方法
- 通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
- 急激に変化する黎明期から,緩やかな成熟期へ LSI/FPGA設計の現状と今後 (特集 HDLをごりごり書かずにSoCやFPGAが設計できる! 複雑化する回路設計にC言語やUMLで反撃!)
- 代数的手法を用いた同期式順序回路の設計支援機能の統合
- 二段階動作合成によるグループ署名ASICの実装と評価(設計事例,システムオンシリコンを支える設計技術)
- 関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明
- ASLプログラム開発システムにおける検証の自動化について
- 共通鍵暗号AESの低消費電力論理回路構成法
- 効率的なグループ署名を実現する楕円曲線の構成方法
- 効率的なグループ署名を実現する楕円曲線の構成方法
- in-order実行パイプラインCPUの正しさの自動証明例
- すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
- プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
- グループ署名回路のアーキテクチャ最適化
- グループ署名回路のアーキテクチャ最適化
- 候補者のプライバシーを考慮した電子投票
- セキュリティとプライバシを両立させる匿名認証技術について
- ミックスネットについて : 電子データをシャッフルする方法 (符号と暗号の代数的数理)
- シャッフリングによる大規模電子投票システムの実現
- ECにおける暗号技術 (EC(電子商取引)特集)
- インタ-ネットにおけるセキュリティ技術の役割 (インタ-ネット特集)
- 電子承認システムSIGNET
- 多重並列グループ署名の低消費電力回路アーキテクチャ (VLSI設計技術)
- 形式的手法を用いたin-order実行パイプラインCPUの自動設計検証(並列処理)
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明
- 一つのEFSMの複数EFSMによる実現の正しさの一証明法
- 代数的手法を用いたパイプライン方式CPUの設計検証
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
- 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
- 短い個人鍵の不正者のブラックボックス失効が可能な放送型暗号方式
- OMSPレスポンダ : グループ署名における失効メンバ確認モデル(ネットワークセキュリティ)
- (サービス・公共施設におけるIT)電子投票の実現(暮らしの中のIT : 身近な応用システム)
- in-order実行パイプラインCPUの正しさの自動証明例
- 代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化
- プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化
- 全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム
- 整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明
- 並列実行される動作におけるデータ代入の衝突の判定
- 代数的手法を用いた順序回路設計支援システムにおける検証支援機能と検証手順
- 二段階動作合成によるグループ署名ASICの実装と評価
- ハードウェアで高速並列処理を実現したリードソロモン復号アルゴリズム(下)アルゴリズムの詳細と回路化のためのポイント
- ハードウェアで高速処理を実現したリードソロモン復号アルゴリズム(上)高速化のための工夫と応用例
- 組み合わせ回路で実現したReed-Solomon符号・復号器の論理簡単化
- 組み合わせ回路による高速Reed-Solomon符号化復合化方式
- 処理のあらましを理解して回路を作ろう わかる! CRC計算回路の作り方とアレンジ
- スペ-スシャトルに使われているコンピュ-タ技術
- スペ-スシャトルに使われているコンピュ-タ技術
- 多重並列グループ署名の低消費電力回路アーキテクチャ(アーキテクチャ設計1,システムオンシリコンを支える設計技術)
- 14.ニューヨークの小学校で10歳の私が学んだこと(研究者・技術者の倫理観・人生観)
- 公平性保証とプライバシー保護(明るい社会を築く暗号 : 暗号は社会を変革する)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告 (情報理論 一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告 (ワイドバンドシステム 一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告 (情報セキュリティ 一般:情報通信基礎サブソサイエティとの合同研究会)
- 二段階動作合成によるグループ署名回路の早期性能調整法と実装例(グループ署名回路,暗号と情報セキュリティ実装技術論文)
- グループ署名回路のクラウドサーバ/クライアント向け実装方法(招待講演)
- 二段階動作合成によるグループ署名回路の早期性能調整法と実装例
- グループ署名回路のクラウドサーバ/クライアント向け実装方法
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告(一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告(一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告(一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告