量子読み出しは、物体の真正性を検証する方法である。この方法は、対象物が複製または物理的に模倣できない限りにおいて安全である。
物体の非接触認証と手動認証
対象物を認証する際には、2つのケースを区別することができる。
- 直接認証:対象物は検証者の完全な管理下に置かれます。検証者は、対象物が正しい種類、サイズ、重量などであるかどうかを確認できます。例えば、本物の歯と歯を模したホログラムとの違いを識別できます。
- 非接触認証:検証者は完全な制御権を持たない。例えば、検証者は対象物を目視できるが、触れることはできない。
実践的なシナリオでは、さまざまなタイプの物理的に複製不可能な関数(PUF)が優れた認証トークンとして機能します。これらの物理的な複製不可能性と、検証者がなりすましを検出できる能力を組み合わせることで、攻撃者がPUFクローンとして通用するオブジェクトを作成することは極めて困難になります。しかし、実践的な認証では、PUFの所有者がその制御を放棄する必要があり、特に検証者がなりすまし者であるリスクがある場合は、これは受け入れられない可能性があります。
しかし、非接触シナリオでは、信頼性の高い認証を実現することははるかに困難です。各PUFのチャレンジ・レスポンス動作は公開されていると想定するのが賢明です。(攻撃者は本物のPUFを一時的に入手し、発見されることなく多くの測定を実行できる可能性があります。)これは、セキュリティ研究で慣例となっている「最悪のケース」の想定です。接触シナリオでは問題ありませんが、非接触シナリオでは、なりすましが現実的な危険となります。たとえば、光ファイバーを介した光PUFの認証を考えてみましょう。攻撃者はPUFを持っていませんが、PUFに関するすべての情報を知っています。攻撃者はファイバーを介してチャレンジ(レーザー光)を受け取ります。物理的な物体で光を散乱させる代わりに、攻撃者は次のことを行います。
- 入射波面を測定する。
- 彼のデータベースで対応する回答を検索する。
- レーザー光を正しい応答状態に準備し、検証装置に送り返す。
この攻撃は「デジタルエミュレーション」として知られています。
長い間、ハンズオフシナリオにおけるなりすましは、解決不可能な根本的な問題であるように思われてきた。
リモートオブジェクト認証の従来のアプローチは、何らかの方法で直接操作可能な環境を強制することであり、例えば、改ざん防止機能を備えた信頼できるリモートデバイスがオブジェクトをプローブするといった方法がある。このアプローチの欠点は、(a)コストが高いこと、そして(b)ますます高度化する攻撃に対してセキュリティレベルが不明確であることだ。
PUFの量子物理学的読み出し
基本計画
ハンズオフの場合のなりすまし問題は、量子物理学の2つの基本的な情報理論的性質を用いて解決できる。
- 未知の状態にある単一の量子は複製できない。[ 1 ]
- 量子状態を測定すると、その状態に含まれる情報の大部分が失われる。
これらの原則に基づいて、以下の計画が提案された。[ 2 ]
- 登録手続き。通常のPUF登録手続きです。量子物理学の知識は必要ありません。登録データは公開情報として扱われます。
- 課題:単一の量子(例えば光子)がランダムな状態に準備されます。それはPUFに送られます。
- 応答。量子はPUFと相互作用し(例えばコヒーレント散乱)、その結果、状態のユニタリ変換が生じる。
- 検証。量子データは検証者に返送される。検証者は応答状態がどうあるべきかを正確に把握している。この知識に基づいて、「はい/いいえ」の検証測定を行うことができる。
手順2~4を複数回繰り返すことで、誤認確率を指数関数的に低減します。
重要な点は、攻撃者は実際のチャレンジが何であるかを特定できないということである。なぜなら、その情報は「脆弱な」量子状態に格納されているからだ。攻撃者がチャレンジ状態を測定して調査しようとすると、情報の一部が破壊されてしまう。チャレンジ・レスポンス・データベースのどこを探せばよいのか正確に分からないため、攻撃者は確実に正しいレスポンスを生成することができない。
文献では、標準的な波面整形とホモダイン検出技術に基づく、PUFの連続変数量子認証も提案されている。[ 3 ]
同じ技術を用いて、物理的に複製不可能な関数を持つ暗号コミットメントのための光学的スキームも文献で提案されている。[ 4 ]
セキュリティに関する前提条件
この計画は、以下の条件が満たされた場合にのみ安全です。
- PUFの物理的な複製不可能性。
- 攻撃者はチャレンジクォンタムに対して任意のユニタリ変換を実行することはできません(つまり、PUFの物理的なエミュレーションは不可能であるはずです)。
多重散乱光学系においては、上記の要件は実際に満たすことができる。
PUFの量子読み出しは、デジタルエミュレーションに対しては無条件に安全ですが、物理的なクローン作成および物理的なエミュレーションに対しては条件付きで安全です。
特別なセキュリティ設備
PUFの量子読み出しにより
- 対象物の側に信頼できるハードウェアを必要とせず、ハンズフリーで対象物を認証する。
- 事前に共有された秘密情報や共有されたもつれ粒子を用いない量子通信チャネルの認証。認証は公開情報に基づいて行われる。
アリスとボブが、過去にデータや物質の交換を一切行わずに、アドホックな形で量子鍵配送を行いたいとします。二人はそれぞれ登録済みの光PUFを持っています。信頼できる情報源から互いのPUF登録データを調べ、両方の光PUFを通して量子鍵配送を実行します。プロトコルを少し変更することで、量子鍵配送と双方向認証を実現できます。鍵配送のセキュリティは無条件ですが、認証のセキュリティは上記の2つの前提条件に依存します。
セキュリティ証明
セキュリティは、攻撃者が測定値を使用してチャレンジをできる限り正確に決定しようとするチャレンジ推定攻撃の場合に証明されています。n=1 の場合[ 5 ] 、 コヒーレント状態の直交測定の場合 [ 6 ] 、および固定数の量子 n>1 の場合 [ 7 ]の証明があります 。次元 K と n 量子の場合の結果は、1 ラウンドでの誤受理確率が (n+1)/(n+K) を超えることはないということです。
PUFの連続変数量子認証のエミュレーション攻撃に対する安全性は、Holevoの限界とFanoの不等式[ 8 ] 、および中間者攻撃[ 9 ]の枠組みでも取り上げられています。
上記のセキュリティ証明はすべて、改ざん防止機能を備えた認証設定を前提としているが、リモート認証のシナリオではそれを正当化するのは難しい。
実験的実現
スペックルベースの光PUFの量子読み出しは実験室で実証されている。[ 10 ] [ 11 ]この実現は量子セキュア認証という名前で知られている。
このプロトコルは、参照されているプロトコル[ 3 ]と同様に、量子状態の伝送に伴う実際的な問題のため、短距離(10 km未満)に限定されています。古典的な設定では、チャレンジ・レスポンスペアのデータベースのエントリを暗号化することで、任意の距離で動作し、古典的な攻撃者と量子攻撃者(エミュレーション攻撃を含む)の両方に対するセキュリティを提供するプロトコルを構築できます。[ 12 ]
参考文献
- ↑ WK ウッターズ、WH ズレック。「単一の量子はクローンできない」。ネイチャー、299: 802–803、1982年
- ↑ B. Škorić、「物理的に複製不可能な関数の量子読み出し」、International Journal of Quantum Information、10(1):1250001–1 – 125001–31、2012年。
- 1 2 Georgios M. Nikolopoulos および E. Diamanti、「物理的に複製不可能な鍵の連続変数量子認証」、 Scientific reports、2017 年。
- ↑ Nikolopoulos, GM (2019). "物理的に複製不可能な鍵を用いた暗号コミットメントのための光学的スキーム" . Optics Express . 27 (29): 29367– 29379. arXiv : 1909.13094 . Bibcode : 2019OExpr..2729367N . doi : 10.1364/OE.27.029367 . PMID 31684673 . S2CID 203593129 .
- ↑ B. Škorić、「物理的に複製不可能な関数の量子読み出し」、 http://eprint.iacr.org/2009/369
- ↑ B. Škorić、AP Mosk、PWH Pinkse、「量子読み出しPUFの直交座標ベースのチャレンジ推定攻撃に対するセキュリティ」、 http://eprint.iacr.org/2013/084
- ↑ B. Škorić、「チャレンジ推定攻撃の場合の量子読み出しPUFのセキュリティ分析」、 http://eprint.iacr.org/2013/479
- ↑ Nikolopoulos, Georgios M. (2018-01-22). "連続変数量子による物理的複製不可能鍵の認証: エミュレーション攻撃に対するセキュリティ". Physical Review A . 97 (1) 012324. arXiv : 1801.07434 . Bibcode : 2018PhRvA..97a2324N . doi : 10.1103/PhysRevA.97.012324 . S2CID 119486945 .
- ↑ Fladung, Lukas; Nikolopoulos, Georgios M.; Alber, Gernot; Fischlin, Marc (2019). "物理的に複製不可能な鍵を持つ連続変数量子認証プロトコルに対する傍受再送信エミュレーション攻撃" . Cryptography . 3 (4): 25. arXiv : 1910.11579 . doi : 10.3390/cryptography3040025 .
- ↑ SA Goorden、M. Horstmann、AP Mosk、B. Škorić、PWH Pinkse、「古典鍵を用いた量子安全認証」、 https://arxiv.org/abs/1303.0142
- ↑ SA Goorden、M. Horstmann、AP Mosk、B. Škorić、PWH Pinkse、「物理的に複製不可能な鍵の量子安全認証」、 http://www.opticsinfobase.org/optica/abstract.cfm?uri =optica-1-6-421
- ↑ Nikolopoulos, Georgios M. (2021年7月). "物理的に複製不可能な機能を持つエンティティのリモート量子安全認証" . Photonics . 8 (7): 289. arXiv : 2108.00468 . Bibcode : 2021Photo...8..289N . doi : 10.3390/photonics8070289 .
外部リンク
- http://theconversation.com/quantum-physics-can-fight-fraud-by-making-card-verification-unspoofable-35632