論文の概要: Secure Software Leasing Without Assumptions
- arxiv url: http://arxiv.org/abs/2101.12739v1
- Date: Fri, 29 Jan 2021 18:52:43 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-13 08:42:37.967912
- Title: Secure Software Leasing Without Assumptions
- Title（参考訳）: 仮定なしでセキュアなソフトウェアリース
- Authors: Anne Broadbent, Stacey Jeffery, S\'ebastien Lord, Supartha Podder,
Aarthi Sundaram
- Abstract要約: 量子暗号は古典的な情報だけでは達成できない機能を実現することで知られている。
近年,コンピュート・アンド・コンパート(Computer-and-compare)と呼ばれる関数のクラスに対して,量子情報を用いたSSLの実現可能性を示している。
SSL は計算・計算回路において仮定なしで実現可能であることを示す。
- 参考スコア（独自算出の注目度）: 2.983639510410386
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum cryptography is known for enabling functionalities that are
unattainable using classical information alone. Recently, Secure Software
Leasing (SSL) has emerged as one of these areas of interest. Given a target
circuit $C$ from a circuit class, SSL produces an encoding of $C$ that enables
a recipient to evaluate $C$, and also enables the originator of the software to
verify that the software has been returned -- meaning that the recipient has
relinquished the possibility of any further use of the software. Clearly, such
a functionality is unachievable using classical information alone, since it is
impossible to prevent a user from keeping a copy of the software. Recent
results have shown the achievability of SSL using quantum information for a
class of functions called compute-and-compare (these are a generalization of
the well-known point functions). These prior works, however all make use of
setup or computational assumptions. Here, we show that SSL is achievable for
compute-and-compare circuits without any assumptions.
Our technique involves the study of quantum copy-protection, which is a
notion related to SSL, but where the encoding procedure inherently prevents a
would-be quantum software pirate from splitting a single copy of an encoding
for $C$ into two parts, each of which enables a user to evaluate $C$. We show
that point functions can be copy-protected without any assumptions, for a novel
security definition involving one honest and one malicious evaluator; this is
achieved by showing that from any quantum message authentication code, we can
derive such an honest-malicious copy-protection scheme. We then show that a
generic honest-malicious copy-protection scheme implies SSL; by prior work,
this yields SSL for compute-and-compare functions.
- Abstract（参考訳）: 量子暗号は古典的な情報だけでは達成できない機能を実現することで知られている。
最近、SSL(Secure Software Leasing)がこれらの関心領域の1つとして登場した。
回路クラスからターゲット回路$C$が与えられた場合、SSLは、受信者が$C$を評価することができる$C$のエンコーディングを生成し、ソフトウェアの創始者がソフトウェアが返却されたことを検証できるようにする。
このような機能は、ユーザーがソフトウェアのコピーを保持するのを防ぐことは不可能であるため、古典的な情報だけでは達成できない。
近年の研究では、コンピュート・アンド・コンペアと呼ばれる関数のクラスに対する量子情報を用いたSSLの達成可能性を示している(これらはよく知られた点関数の一般化である)。
これらの先行研究はすべてセットアップや計算の仮定を用いている。
ここでは,SSL は計算・計算回路において仮定なしで実現可能であることを示す。
sslに関連する概念である量子コピー保護(quantum copy-protection)が研究されているが、エンコーディング手順が本質的には、$c$のエンコーディングの1つのコピーを2つの部分に分割することを妨げているため、それぞれが$c$を評価できる。
我々は,任意の量子メッセージ認証コードから,このような誠実で悪意のあるコピー保護スキームを導出できることを示せば,ポイント関数を任意の仮定なしにコピー保護することができることを示す。
そこで,本研究では,汎用的正当なコピー保護スキームがsslを暗示することを示す。
関連論文リスト
- Quantum Secure Protocols for Multiparty Computations [2.9561405287476177]
量子攻撃に耐えられるセキュアなマルチパーティ計算(MPC)プロトコルを提案する。
まず、量子領域における情報理論のセキュアな半線形評価(OLE)、すなわち$sf qOLE$の設計と解析について述べる。
さらに、ビルディングブロックとして$sf qOLE$を使用し、MPSIプロトコルを構築します。
論文 参考訳（メタデータ） (2023-12-26T19:53:29Z) - SOCI^+: An Enhanced Toolkit for Secure OutsourcedComputation on Integers [50.608828039206365]
本稿では,SOCIの性能を大幅に向上させるSOCI+を提案する。
SOCI+は、暗号プリミティブとして、高速な暗号化と復号化を備えた(2, 2)ホールドのPaillier暗号システムを採用している。
実験の結果,SOCI+は計算効率が最大5.4倍,通信オーバヘッドが40%少ないことがわかった。
論文 参考訳（メタデータ） (2023-09-27T05:19:32Z) - Functional Encryption in the Bounded Storage Models [0.0]
有界量子記憶モデル(BQSM)と有界古典記憶モデル(BCSM)の可能性について検討する。
BQSMでは,情報理論に基づくセキュリティを満足する非対話型関数暗号を$q=O(sqrts/r)$で構築する。
BCSMでは,情報理論的部分指数シミュレーションに基づくセキュリティを満足する非対話型関数暗号を構築している。
論文 参考訳（メタデータ） (2023-09-13T03:55:36Z) - Revocable Cryptography from Learning with Errors [61.470151825577034]
我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。
我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
論文 参考訳（メタデータ） (2023-02-28T18:58:11Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - Secure Software Leasing from Standard Assumptions [13.664682865991253]
仮定付き学習誤り(LWE)に基づくSSL方式を提案する。
LWE仮定から2階層の量子ライニングスキームを構築することができることを示す。
論文 参考訳（メタデータ） (2020-10-21T17:59:36Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z) - Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳（メタデータ） (2020-09-29T08:41:53Z) - Security Limitations of Classical-Client Delegated Quantum Computing [54.28005879611532]
クライアントは、古典的なチャネルを使用して量子状態をリモートで準備する。
サブモジュールとして$RSP_CC$を採用することで生じるプライバシ損失は、不明である。
特定の$RSP_CC$プロトコルは、少なくともいくつかのコンテキストにおいて量子チャネルを置き換えることができることを示す。
論文 参考訳（メタデータ） (2020-07-03T13:15:13Z) - Secure Software Leasing [7.754062965937491]
SSL(Secure Software Leasing)という,ソフトウェア海賊行為に対処するための代替的定義を定式化します。
私たちの構築は、ソフトウェアによるアンチ海賊行為に対する具体的な暗号的仮定に基づく、証明可能な最初の安全なソリューションです。
正の結果を補完するため、暗号的仮定に基づいて、SSLが存在しない量子未学習関数のクラスが存在することを示す。
論文 参考訳（メタデータ） (2020-05-11T17:48:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。