論文の概要: A quantitative notion of economic security for smart contract compositions
- arxiv url: http://arxiv.org/abs/2505.19006v1
- Date: Sun, 25 May 2025 07:10:55 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-05-27 16:58:42.832923
- Title: A quantitative notion of economic security for smart contract compositions
- Title（参考訳）: スマートコントラクト構成のための経済的安全性の定量的概念
- Authors: Emily Priyadarshini, Massimo Bartoletti,
- Abstract要約: 単一コンポーネントに対する攻撃がシステム全体の経済的損失を増幅する方法を測定する量的セキュリティの概念を導入する。
特に、貸し出しプロトコルと分散型取引所からなるシステムにおける過度の担保ローン攻撃を分析します。
- 参考スコア（独自算出の注目度）: 0.4604003661048266
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Decentralized applications are often composed of multiple interconnected smart contracts. This is especially evident in DeFi, where protocols are heavily intertwined and rely on a variety of basic building blocks such as tokens, decentralized exchanges and lending protocols. A crucial security challenge in this setting arises when adversaries target individual components to cause systemic economic losses. Existing security notions focus on determining the existence of these attacks, but fail to quantify the effect of manipulating individual components on the overall economic security of the system. In this paper, we introduce a quantitative security notion that measures how an attack on a single component can amplify economic losses of the overall system. We study the fundamental properties of this notion and apply it to assess the security of key compositions. In particular, we analyse under-collateralized loan attacks in systems made of lending protocols and decentralized exchanges.
- Abstract（参考訳）: 分散アプリケーションは、しばしば複数の相互接続されたスマートコントラクトで構成されている。
これはDeFiにおいて特に顕著であり、プロトコルは相互に強く絡み合っており、トークン、分散交換、貸出プロトコルなど、さまざまな基本的なビルディングブロックに依存している。
この設定における重要なセキュリティ上の課題は、敵が個々のコンポーネントをターゲットにしてシステム的経済的な損失を発生させることである。
既存のセキュリティの概念は、これらの攻撃の存在を決定することに重点を置いているが、システムの全体的な経済的セキュリティに対する個々のコンポーネントを操作する効果の定量化に失敗している。
本稿では,単一コンポーネントに対する攻撃がシステム全体の経済的損失を増幅する方法について,定量的なセキュリティ概念を紹介する。
この概念の基本的な性質を考察し,鍵構成の安全性評価に応用する。
特に、貸し出しプロトコルと分散型取引所からなるシステムにおける過度の担保ローン攻撃を分析します。
関連論文リスト
- Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis [7.858744413354451]
本稿では、Etherスマートコントラクトに焦点を当て、Etherの主なコンポーネントであるスマートコントラクトアーキテクチャとメカニズムを説明します。
American Chain, The, Parity, KotETの4つのセキュリティイベントによると、整数オーバーフロー攻撃、再帰攻撃、アクセス制御攻撃、サービスアタックの否定の原則を研究し、分析した。
予防措置がとられています
論文 参考訳（メタデータ） (2025-04-08T12:25:34Z) - Phantom Events: Demystifying the Issues of Log Forgery in Blockchain [31.570414211726888]
EVMベースのブロックチェーンにおけるトランザクションログの偽造に関する,最初の詳細なセキュリティ分析を提示する。
スマートコントラクトにおける事象偽造の脆弱性を検出するためのツールを提案する。
我々は、複数の分散アプリケーションにまたがる5種類の攻撃に対して、実世界のインスタンスを特定しました。
論文 参考訳（メタデータ） (2025-02-19T08:07:26Z) - Application of $α$-order Information Metrics for Secure Communication in Quantum Physical Layer Design [45.41082277680607]
本稿ではR'enyiエントロピーに基づく$alpha$-order情報理論メトリクスについて検討する。
我々は,BPSK変調を含む実例に,損失のあるボソニックチャネル上の枠組みを適用した。
論文 参考訳（メタデータ） (2025-02-07T03:44:11Z) - ACRIC: Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check [98.34702864029796]
安全クリティカルな業界における最近のセキュリティインシデントは、適切なメッセージ認証の欠如により、攻撃者が悪意のあるコマンドを注入したり、システムの振る舞いを変更することができることを明らかにした。
これらの欠点は、サイバーセキュリティを強化するために圧力をかける必要性を強調する新しい規制を引き起こしている。
我々は,レガシ産業通信をセキュアにするためのメッセージ認証ソリューションであるACRICを紹介する。
論文 参考訳（メタデータ） (2024-11-21T18:26:05Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - An Efficient and Multi-private Key Secure Aggregation for Federated Learning [41.29971745967693]
フェデレート学習のための効率的かつ多目的な鍵セキュアアグリゲーション手法を提案する。
具体的には、変種ElGamal暗号を巧みに修正し、同型加算演算を実現する。
高次元深層モデルパラメータに対しては,多次元データを1次元に圧縮する超増進シーケンスを導入する。
論文 参考訳（メタデータ） (2023-06-15T09:05:36Z) - Security of differential phase shift QKD against explicit individual
attacks [1.9849264945671103]
個別攻撃に対する3とnのパルス差動位相シフト量子鍵分配プロトコルのセキュリティを特徴付ける。
一般個人攻撃下で得られたセキュアな鍵レートと既知の下界を比較検討した。
論文 参考訳（メタデータ） (2023-05-19T16:56:26Z) - Sharing classical secrets with continuous-variable entanglement:
Composable security and network coding advantage [0.913755431537592]
量子通信のためのポイント・ツー・ポイントプロトコルに対して,マルチパーティ・エンタングルド・リソースが真に有利であることを示す。
これは、量子通信のためのポイント・ツー・ポイントプロトコルよりも真に有利な、マルチパーティ・エンタングルド・リソースの最初の具体的な例である。
論文 参考訳（メタデータ） (2021-04-21T17:37:28Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。