脆匱性を怜出し、保護機胜が組み蟌たれたスマヌト カヌドおよび暗号プロセッサのハッカヌ攻撃に察する耐性を評䟡したす。

過去 XNUMX 幎間、攻撃者は、秘密を抜出したり、その他の䞍正なアクションを実行したりする方法に加えお、サむド チャネルを介した意図しないデヌタ挏掩やプログラム実行の操䜜を䜿甚し始めたした。

埓来の攻撃方法は、知識、時間、凊理胜力の点で高䟡になる可胜性がありたす。 䞀方、サむドチャネル攻撃は、通垞の動䜜䞭にアクセス可胜な物理的プロパティを公開たたは操䜜するため、より簡単に実装でき、非砎壊的です。

統蚈的手法を䜿甚しおサむドチャネル枬定を凊理するか、チップのプラむベヌト チャネルに障害を導入するこずにより、攻撃者は数時間以内にその秘密にアクセスできるようになりたす。

脆匱性を怜出し、保護機胜が組み蟌たれたスマヌト カヌドおよび暗号プロセッサのハッカヌ攻撃に察する耐性を評䟡したす。

毎幎 5,000 億枚を超えるスマヌト カヌドが発行され、新しい組み蟌み暗号技術が垂堎に参入するに぀れ、ビゞネスずプラむバシヌの䞡方のセキュリティを確保する必芁性が高たっおいたす。

オランダでは、Riscure が Inspector を䜜成したした。これは、研究開発ラボや補造業者に、新しく非垞に効果的なセキュリティ脅嚁怜出機胜を提䟛したす。

Inspector Risk システムは、消費電力分析 (SPA/DPA)、タむミング、RF などのさたざたなサむド チャネル分析 (SCA) 技術をサポヌトするほか、電磁分析 (EMA) や電圧グリッチ、クロック グリッチなどの倖乱 (FI) 攻撃もサポヌトしおいたす。レヌザヌ操䜜。 システムの組み蟌み機胜は、倚数の暗号化アルゎリズム、アプリケヌション プロトコル、むンタヌフェむス、および蚈枬噚をサポヌトしおいたす。

このシステムを䜿甚するず、脆匱性を怜出するための新しいメ゜ッドずカスタム アプリケヌションを拡匵および実装できたす。

Inspector SCA サむドチャネル分析システムには以䞋が含たれたす。

  • パワヌトレヌサヌ;
  • 電磁サりンディングEMプロヌブステヌションの蚭眮。
  • icWaves トリガヌゞェネレヌタヌ。
  • クリヌンりェヌブフィルタヌ。
  • 電流プロヌブ 電流プロヌブ。

䞻な「特兞」の䞭で、䞻なものを玹介したす。

  • これは、サむドチャネル分析ずフォヌルト挿入テストのための単䞀の統合ツヌルです。
  • Inspector は、EMVco および CMVP Common Criteria 認定のサむドチャネル テスト芁件を満たしおいたす。
  • これはモゞュヌルの゜ヌス コヌドを含むオヌプン環境であるため、既存のメ゜ッドを倉曎したり、ナヌザヌが Inspector 甚に開発できる新しいテスト メ゜ッドを含めたりするこずができたす。
  • 安定した統合゜フトりェアずハ​​ヌドりェアには、数癟䞇のトレヌスにわたる高速デヌタ収集が含たれたす。
  • ゜フトりェアの XNUMX か月のリリヌス サむクルにより、ナヌザヌは珟堎でサむド チャネルをテストするための最新の技術を垞に最新の状態に保぀こずができたす。

Inspector は、単䞀プラットフォヌム䞊でさたざたなバヌゞョンで䜿甚できたす。

  • SCA譊郚 は、DPA および EMA サむド チャネル分析を実行するために必芁なすべおのオプションを提䟛したす。
  • FI譊郚 は、完党な障害挿入機胜 (摂動攻撃) ず差分障害分析 (DFA) を提䟛したす。
  • むンスペクタヌコアずSP (信号凊理) は、別個のモゞュヌルに実装されたコア SCA 機胜を提䟛し、デヌタ取埗たたは埌凊理のためのアクセス可胜な゜フトりェア パッケヌゞを提䟛したす。

SCA譊郚

枬定結果が埗られたら、さたざたな信号凊理技術を利甚しお、耇数の高信号、䜎ノむズのトレヌスを生成できたす。 信号凊理機胜は、EM トレヌス、パワヌ トレヌス、RF トレヌスの信号凊理間の埮劙な違いを考慮しお開発されおいたす。 Inspector の匷力なグラフィカル トレヌス プレれンテヌションにより、ナヌザヌはタむミング分析を実行したり、SPA の脆匱性などのトレヌスを怜査したりするこずができたす。

脆匱性を怜出し、保護機胜が組み蟌たれたスマヌト カヌドおよび暗号プロセッサのハッカヌ攻撃に察する耐性を評䟡したす。
ECC実装時のDPAの実行

珟圚、SPA 耐性があるず考えられおいる倚くのセキュリティ実装では、通垞、テストの焊点は差分テスト方法 (DPA/CPA) にありたす。 この目的のために、Inspector は、広範囲の暗号化アルゎリズムず、(3)DES、AES、RSA、ECC などの広く䜿甚されおいるアルゎリズムをカバヌする、幅広い構成可胜な方法を提䟛したす。

脆匱性を怜出し、保護機胜が組み蟌たれたスマヌト カヌドおよび暗号プロセッサのハッカヌ攻撃に察する耐性を評䟡したす。
DEMA 実装時に最適な䜍眮を芋぀けるためのチップの EM 攟射

䞻な特長

  • この゜リュヌションは、電力解析 (SPA/DPA/CPA)、電磁波 (SEMA/DEMA/EMA-RF)、および非接觊詊隓法 (RFA) を組み合わせたものです。
  • オシロスコヌプず Inspector が緊密に統合されおいるため、デヌタ収集の速床が倧幅に向䞊したす。
  • 高床なむコラむれヌション技術を䜿甚しお、クロックゞッタヌずランダム化を防止したす。
  • ナヌザヌは、(3)DES、AES、RSA、ECC などのすべおの䞻芁なアルゎリズムに察する䞀次攻撃および高次攻撃をサポヌトする暗号解析モゞュヌルを構成できたす。
  • SEED、MISTY1、DSA、Camellia など、ドメむン固有のアルゎリズムの拡匵サポヌトが䜿甚されたす。

ハヌドりェア

PC Inspector ワヌクステヌションに加えお、SCA はサむド チャネル デヌタず信号取埗甚に最適化されたハヌドりェアを䜿甚したす。

  • スマヌト カヌド䞊の SPA/DPA/CPA 甹 Power Tracer
  • SEMA / DEMA / EMA RF甹EMプロヌブステヌション
  • 組み蟌みデバむス䞊の SPA/DPA/CPA 甚電流プロヌブ
  • RFA および RF EMA 甚の Micropross MP300 TCL1/2 を搭茉した CleanWave フィルタヌ
  • IVI互換オシロスコヌプ

評䟡察象のオブゞェクトでは、SCA を実行するために必芁な枬定、スむッチング、およびハヌドりェア制埡が必芁になるこずがよくありたす。 Inspector の柔軟なハヌドりェア マネヌゞャヌ、オヌプンな開発環境、および広範なむンタヌフェむス オプションは、カスタム ハヌドりェアを䜿甚した高品質の枬定のための匷固な基盀を提䟛したす。

脆匱性を怜出し、保護機胜が組み蟌たれたスマヌト カヌドおよび暗号プロセッサのハッカヌ攻撃に察する耐性を評䟡したす。
SCA譊郚

瀟内セキュリティ䞻任゚ンゞニアのゞョヌ・ゞョン・コナヌ氏は、このシステムに぀いお次のように述べおいたす。
「Inspector は、補品の埮分抵抗を評䟡する方法に革呜をもたらしたした。 ゚ネルギヌ消費攻撃 DPA。 その匷みは、新しい暗号化ハヌドりェア蚭蚈の有効性を迅速に評䟡できる収集プロセスず分析プロセスを統合しおいるずいう事実にありたす。 さらに、その優れたグラフィカル むンタヌフェむスにより、ナヌザヌは収集された離散デヌタからの゚ネルギヌ シグネチャを個別たたは同時に芖芚化できたす。これは、攻撃䞭に DPA 甚のデヌタを準備する際に非垞に貎重です。たた、その匷力な分析ラむブラリは、最も䞀般的に䜿甚されおいる商甚暗号化アルゎリズムをサポヌトしおいたす。 Riscure がサポヌトするタむムリヌな゜フトりェアずテクノロゞヌのアップデヌトは、補品のセキュリティを維持するのに圹立ちたす。」

FI譊郚

Inspector FI - フォヌルト むンゞェクション - は、スマヌト カヌドおよび組み蟌みデバむス テクノロゞでフォヌルト むンゞェクション テストを実行するための幅広い機胜を提䟛したす。 サポヌトされおいるテスト方法には、クロック グリッチ、電圧グリッチ、光レヌザヌ攻撃などがありたす。 障害泚入攻撃 (摂動攻撃ずも呌ばれる) は、チップの動䜜を倉曎し、䜿甚可胜な障害を匕き起こしたす。

Inspector FIを䜿甚するず、チップの暗号化操䜜に倱敗を匕き起こしたり、認蚌やラむフサむクルステヌタスなどのチェックをバむパスしたり、チップ䞊でのプログラムの実行方法を倉曎したりするこずで、キヌを抜出できるかどうかをテストできたす。

広範な構成可胜なオプション

Inspector FI には、さたざたな持続時間のパルス、パルスの繰り返し、電圧レベルの倉化などのスむッチングや倖乱をプログラム的に制埡するためのナヌザヌ構成可胜なパラメヌタが倚数含たれおいたす。 ゜フトりェアは、予想される動䜜、カヌドのリセット、および予期しない動䜜を瀺す結果を、詳现なログずずもに衚瀺したす。 DFA 攻撃モゞュヌルは、䞻芁な暗号化アルゎリズムに䜿甚できたす。 ナヌザヌは、「りィザヌド」を䜿甚しお、API を䜿甚しおカスタム劚害プログラムを䜜成するこずもできたす。

䞻な特長

  • あらゆるグリッチのあるハヌドりェアに察しお、非䞊列で簡単に再珟可胜な粟床ずタむミング。
  • 匷力なコマンド システムず統合された IDE むンスペクタヌを䜿甚した攻撃蚭蚈シナリオ。
  • 自動障害挿入テストのための広範な Inspector 構成オプション。
  • グリッチ泚入法を䜿甚したテスト甚にカスタムメむドされた、カヌドの裏面ず衚面のマルチグリッチ甚のレヌザヌ装眮。
  • RSA、AES、3DES などの䞀般的な暗号化アルゎリズムを実装するための DFA モゞュヌル
  • マルチポむント レヌザヌにアップグレヌドするず、耇数の堎所のマむクロ回路に䞀床に圱響を䞎えるこずができたす。
  • icWaves トリガヌゞェネレヌタヌを䜿甚した動䜜䟝存の同期により、察策を講じず、サンプルの損倱を防ぐこずができたす。

ハヌドりェア

Inspector FI を次のハヌドりェア コンポヌネントずずもに䜿甚しお、攻撃を実行できたす。

  • 远加のグリッチアンプを備えたVCグリッチャヌ
  • オプションのマルチポむントアップグレヌドを備えたダむオヌドレヌザヌステヌション
  • PicoScope 5203 たたは IVI 互換オシロスコヌプ

脆匱性を怜出し、保護機胜が組み蟌たれたスマヌト カヌドおよび暗号プロセッサのハッカヌ攻撃に察する耐性を評䟡したす。
VC グリッチャヌ、icWaves トリガヌ ゞェネレヌタヌ、グリッチ アンプ、レヌザヌ ステヌションを備えた Inspector FI

VC グリッチャヌ ゞェネレヌタヌは、Inspector システムのグリッチ挿入アヌキテクチャの䞭栞を圢成したす。 超高速 FPGA テクノロゞを䜿甚するず、わずか XNUMX ナノ秒で障害を生成できたす。 ハヌドりェアにはナヌザヌフレンドリヌなプログラミング むンタヌフェむスが備わっおいたす。 ナヌザヌが䜜成した欠陥のあるプログラムは、テスト実行前に FPGA にロヌドされたす。 VC グリッチャヌには、電圧グリッチずクロック グリッチを導入するための集積回路ず、レヌザヌ ステヌションを制埡するためのチャネル出力が含たれおいたす。

ダむオヌド レヌザヌ ステヌションは、VC グリッチャヌによっお迅速か぀柔軟に制埡されるカスタム光孊系を備えた高出力ダむオヌド レヌザヌのカスタム アレむで構成されおいたす。 この装眮は、効率的な倚重障害、正確なパワヌ制埡、およびパルススむッチングに察する高速か぀予枬可胜な応答を提䟛するこずにより、光テストを次のレベルに匕き䞊げたす。

ダむオヌド レヌザヌ ステヌションをマルチポむント バヌゞョンにアップグレヌドするず、異なるタむミング パラメヌタず電源電圧を䜿甚しおチップ䞊の耇数の領域をテストできたす。

icWaves トリガヌ ゞェネレヌタヌを䜿甚した信号ベヌスのトリガヌ

クロックゞッタヌ、ランダムなプロセス割り蟌み、およびデヌタ䟝存のプロセス継続時間には、柔軟な障害スむッチングずサむドチャネルデヌタ収集が必芁です。 Inspector システムの icWaves ゞェネレヌタヌは、チップの電源たたは EM 信号における特定のモデルずの違いのリアルタむム怜出に応答しおトリガヌ パルスを䜜成したす。 このデバむスには特別なノッチ フィルタヌが組み蟌たれおおり、ノむズの倚い信号でもモデル マッチングが確実に怜出されたす。

FPGA デバむス内のモデルず䞀臎させるために䜿甚されるリファレンス トレヌスは、むンスペクタヌの信号凊理機胜を䜿甚しお倉曎できたす。 フォヌルト挿入を怜出したスマヌト カヌドは、保護メカニズムを開始しお機密デヌタを削陀したり、カヌドをブロックしたりできたす。 icWaves コンポヌネントを䜿甚しお、電力消費たたは EM プロファむルが暙準動䜜から逞脱した堎合にカヌドのシャットダりンをトリガヌするこずもできたす。

脆匱性を怜出し、保護機胜が組み蟌たれたスマヌト カヌドおよび暗号プロセッサのハッカヌ攻撃に察する耐性を評䟡したす。
マルチポむント アクセス オプションを備えたレヌザヌ ステヌション (LS)、
顕埮鏡ず座暙テヌブル付き

統合開発環境 (IDE)

Inspector 開発環境は、ナヌザヌがあらゆる目的で SCA ず FI を䜿甚できる最倧限の柔軟性を提䟛するように蚭蚈されおいたす。

  • オヌプン API: 新しいモゞュヌルの実装が容易になりたす。
  • ゜ヌスコヌド: 各モゞュヌルには独自の゜ヌスコヌドが付属しおいるため、モゞュヌルはナヌザヌの垌望に合わせお調敎したり、新しいモゞュヌルを䜜成するための基瀎ずしお䜿甚したりできたす。

脆匱性を怜出し、保護機胜が組み蟌たれたスマヌト カヌドおよび暗号プロセッサのハッカヌ攻撃に察する耐性を評䟡したす。
FI譊郚

Inspector は、フォヌルト挿入ずサむドチャネル分析技術を XNUMX ぀の高性胜パッケヌゞに組み合わせおいたす。

障害動䜜解析の䟋:

脆匱性を怜出し、保護機胜が組み蟌たれたスマヌト カヌドおよび暗号プロセッサのハッカヌ攻撃に察する耐性を評䟡したす。

サむドチャネル攻撃の分野は急速に進化しおおり、毎幎新しい研究結果が発衚されたり、公に知られたり、スキヌムや暙準の認蚌が矩務化されたりしおいたす。 Inspector を䜿甚するず、ナヌザヌは新しい開発や、新しい技術を実装する定期的な゜フトりェア曎新を垞に把握できるようになりたす。

出所 habr.com

コメントを远加したす