論文の概要: Secure Software Leasing

• arxiv url: http://arxiv.org/abs/2005.05289v2
• Date: Sun, 25 Oct 2020 00:08:08 GMT
• ステータス: 処理完了
• システム内更新日: 2023-05-20 14:03:44.417727
• Title: Secure Software Leasing
• Title（参考訳）: セキュアなソフトウェアリース
• Authors: Prabhanjan Ananth and Rolando L. La Placa
• Abstract要約: SSL(Secure Software Leasing)という,ソフトウェア海賊行為に対処するための代替的定義を定式化します。 私たちの構築は、ソフトウェアによるアンチ海賊行為に対する具体的な暗号的仮定に基づく、証明可能な最初の安全なソリューションです。 正の結果を補完するため、暗号的仮定に基づいて、SSLが存在しない量子未学習関数のクラスが存在することを示す。
• 参考スコア（独自算出の注目度）: 7.754062965937491
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Formulating cryptographic definitions to protect against software piracy is an important research direction that has not received much attention. Since natural definitions using classical cryptography are impossible to achieve (as classical programs can always be copied), this directs us towards using techniques from quantum computing. The seminal work of Aaronson [CCC'09] introduced the notion of quantum copy-protection precisely to address the problem of software anti-piracy. However, despite being one of the most important problems in quantum cryptography, there are no provably secure solutions of quantum copy-protection known for any class of functions. We formulate an alternative definition for tackling software piracy, called secure software leasing (SSL). While weaker than quantum copy-protection, SSL is still meaningful and has interesting applications in software anti-piracy. We present a construction of SSL for a subclass of evasive circuits (that includes natural implementations of point functions, conjunctions with wild cards, and affine testers) based on concrete cryptographic assumptions. Our construction is the first provably secure solution, based on concrete cryptographic assumptions, for software anti-piracy. To complement our positive result, we show, based on cryptographic assumptions, that there is a class of quantum unlearnable functions for which SSL does not exist. In particular, our impossibility result also rules out quantum copy-protection [Aaronson CCC'09] for an arbitrary class of quantum unlearnable functions; resolving an important open problem on the possibility of constructing copy-protection for arbitrary quantum unlearnable circuits.
• Abstract（参考訳）: ソフトウェア海賊行為から保護するための暗号定義の定式化は、あまり注目されていない重要な研究方向である。 古典的暗号を用いた自然定義は(古典的プログラムはいつでもコピーできるので)達成できないので、量子コンピューティングのテクニックを使うよう指示する。 アーロンソン [CCC'09] のセミナルな研究は、ソフトウェア反海賊問題に正確に対処するために量子コピー保護の概念を導入した。 しかし、量子暗号において最も重要な問題の1つであるにもかかわらず、あらゆる種類の関数で知られている量子コピー保護の確実な解決策は存在しない。 我々は、SSL(Secure Software Leasing)と呼ばれるソフトウェア海賊行為に対処するための代替的な定義を定式化します。 SSLは、量子コピー保護よりも弱いが、それでも意味があり、ソフトウェア反海賊行為に興味深い応用がある。 本稿では,具体的な暗号的仮定に基づく回避回路(点関数の自然な実装,ワイルドカードとの連携,アフィンテスタなどを含む)のサブクラスに対するSSLの構築について述べる。 私たちの構築は、ソフトウェアによるアンチ海賊行為に対する具体的な暗号的仮定に基づく、証明可能な最初の安全なソリューションです。 正の結果を補完するため、暗号的仮定に基づいて、SSLが存在しない量子未学習関数のクラスが存在することを示す。 特に、我々の不可能性は、任意の量子非リーナブル関数のクラスに対する量子コピー保護[aaronson ccc'09]を除外し、任意の量子非リーナブル回路のコピー保護を構築する可能性に関する重要なオープン問題を解決します。

関連論文リスト

• Revocable Encryption, Programs, and More: The Case of Multi-Copy Security [48.53070281993869]
  復号化可能な暗号化や復号化可能なプログラムなど,復号化可能なプリミティブの実現可能性を示す。 これは、マルチコピーセキュリティというより強い概念が、制限不能な暗号において到達範囲内にあることを示唆している。
  論文  参考訳（メタデータ） (2024-10-17T02:37:40Z)
• A Modular Approach to Unclonable Cryptography [4.336971448707467]
  本稿では,不規則な句読解難読解法(UPO)を提案する。 我々は、多くのプリミティブのモジュラー構造(そして間違いなく単純な)を、制限不能な暗号で提示する。 暗号化機能は、この機能がセキュリティの概念を満たす限り、コピープロテクト可能であることを示す。
  論文  参考訳（メタデータ） (2023-11-20T16:22:52Z)
• How to Use Quantum Indistinguishability Obfuscation [1.6298172960110866]
  すべてのプログラムに対して「最良のコピー保護」を実現する方法を示す。 プログラムにqsiOを適用すると、即座に最良のコピー保護が得られることを示す。 また、単射一方向関数が存在すると仮定すると、qsiOは句読点プログラムの大規模なファミリーに対する具体的なコピープロテクションであることを示す。
  論文  参考訳（メタデータ） (2023-11-13T23:07:25Z)
• 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 Without Assumptions [2.983639510410386]
  量子暗号は古典的な情報だけでは達成できない機能を実現することで知られている。 近年,コンピュート・アンド・コンパート(Computer-and-compare)と呼ばれる関数のクラスに対して,量子情報を用いたSSLの実現可能性を示している。 SSL は計算・計算回路において仮定なしで実現可能であることを示す。
  論文  参考訳（メタデータ） (2021-01-29T18:52:43Z)
• Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's Post-Quantum Security [67.06003361150228]
  作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。 本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。 我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
  論文  参考訳（メタデータ） (2020-12-30T18:03:56Z)
• Secure Software Leasing from Standard Assumptions [13.664682865991253]
  仮定付き学習誤り(LWE)に基づくSSL方式を提案する。 LWE仮定から2階層の量子ライニングスキームを構築することができることを示す。
  論文  参考訳（メタデータ） (2020-10-21T17:59:36Z)
• 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)
• Backflash Light as a Security Vulnerability in Quantum Key Distribution Systems [77.34726150561087]
  量子鍵分布(QKD)システムのセキュリティ脆弱性について概説する。 我々は主に、盗聴攻撃の源となるバックフラッシュ光(backflash light)と呼ばれる特定の効果に焦点を当てる。
  論文  参考訳（メタデータ） (2020-03-23T18:23:12Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。