論文の概要: A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
- arxiv url: http://arxiv.org/abs/2509.11258v1
- Date: Sun, 14 Sep 2025 12:59:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-16 17:26:23.000054
- Title: A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
- Title（参考訳）: スマートな法律契約の仕様と生成のためのWebベースの環境
- Authors: Regan Meloche, Durga Sivakumar, Amal A. Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos,
- Abstract要約: 本稿では,自然言語契約とスマートコントラクト実装のギャップを埋める,Webベースの環境を紹介する。
これは、法的コンプライアンスの文脈でスマートコントラクトの開発を加速する可能性を示している。
- 参考スコア（独自算出の注目度）: 3.251499851779181
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Monitoring the compliance of contract performance against legal obligations is important in order to detect violations, ideally, as soon as they occur. Such monitoring can nowadays be achieved through the use of smart contracts, which provide protection against tampering as well as some level of automation in handling violations. However, there exists a large gap between natural language contracts and smart contract implementations. This paper introduces a Web-based environment that partly fills that gap by supporting the user-assisted refinement of Symboleo specifications corresponding to legal contract templates, followed by the automated generation of monitoring smart contracts deployable on the Hyperledger Fabric platform. This environment, illustrated using a sample contract from the transactive energy domain, shows much potential in accelerating the development of smart contracts in a legal compliance context.
- Abstract（参考訳）: 法的義務に対する契約パフォーマンスの遵守の監視は、違反を検知するために重要である。
このような監視はスマートコントラクトを使用することで実現されているため,不正行為に対する保護や,違反処理におけるある程度の自動化が可能になる。
しかし、自然言語契約とスマートコントラクト実装の間には大きなギャップがあります。
本稿では,ユーザの支援するSymboleo仕様の修正サポートと,Hyperledger Fabricプラットフォーム上でデプロイ可能なスマートコントラクト監視の自動生成により,そのギャップを部分的に埋めるWebベースの環境を提案する。
この環境は、推移エネルギー領域からのサンプル契約を用いて説明され、法的なコンプライアンスコンテキストにおけるスマートコントラクトの開発を加速する大きな可能性を示している。
関連論文リスト
- CoTGuard: Using Chain-of-Thought Triggering for Copyright Protection in Multi-Agent LLM Systems [55.57181090183713]
我々は、Chain-of-Thought推論内でトリガーベースの検出を活用する著作権保護のための新しいフレームワークであるCoTGuardを紹介する。
具体的には、特定のCoTセグメントをアクティベートし、特定のトリガクエリをエージェントプロンプトに埋め込むことで、未許可コンテンツ再生の中間的推論ステップを監視する。
このアプローチは、協調エージェントシナリオにおける著作権侵害の微細かつ解釈可能な検出を可能にする。
論文 参考訳（メタデータ） (2025-05-26T01:42:37Z) - Validation Framework for E-Contract and Smart Contract [0.6312266245317322]
我々は,e-contractsから派生したスマートコントラクトを検証するためのフレームワークを提案し,開発する。
提案するフレームワークは,e-contractsの用語と節をスマートコントラクトの論理と体系的に比較し,検証する。
この検証により、合意が正確に実行可能なコードに変換されることを確認した。
論文 参考訳（メタデータ） (2025-04-27T07:23:46Z) - Internet of Agents: Weaving a Web of Heterogeneous Agents for Collaborative Intelligence [79.5316642687565]
既存のマルチエージェントフレームワークは、多種多様なサードパーティエージェントの統合に苦慮することが多い。
我々はこれらの制限に対処する新しいフレームワークであるInternet of Agents (IoA)を提案する。
IoAはエージェント統合プロトコル、インスタントメッセージのようなアーキテクチャ設計、エージェントのチーム化と会話フロー制御のための動的メカニズムを導入している。
論文 参考訳（メタデータ） (2024-07-09T17:33:24Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - HasTEE+ : Confidential Cloud Computing and Analytics with Haskell [50.994023665559496]
信頼性コンピューティングは、Trusted Execution Environments(TEEs)と呼ばれる特別なハードウェア隔離ユニットを使用して、コテナントクラウドデプロイメントにおける機密コードとデータの保護を可能にする。
低レベルのC/C++ベースのツールチェーンを提供するTEEは、固有のメモリ安全性の脆弱性の影響を受けやすく、明示的で暗黙的な情報フローのリークを監視するための言語構造が欠如している。
私たちは、Haskellに埋め込まれたドメイン固有言語(cla)であるHasTEE+を使って、上記の問題に対処します。
論文 参考訳（メタデータ） (2024-01-17T00:56:23Z) - Gradual Verification for Smart Contracts [0.4543820534430522]
Algosはスマートコントラクトを通じてセキュアなリソーストランザクションを実現する。
従来の検証技術は、包括的なセキュリティ保証の提供に不足している。
本稿では,段階的検証という段階的なアプローチを紹介する。
論文 参考訳（メタデータ） (2023-11-22T12:42:26Z) - HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts [2.2375489356775464]
HighGuardは、スマートコントラクトのビジネスロジック仕様に違反したトランザクションを検出するツールである。
異なるブロックチェーンプラットフォーム間でビジネスロジックの欠陥を検出するために、クロスチェーン環境で運用することができる。
54のエクスプロイトを含む評価では,ビジネスロジックの脆弱性検出におけるHighGuardの有効性が確認された。
論文 参考訳（メタデータ） (2023-05-14T21:33:19Z) - Safety Verification of Declarative Smart Contracts [4.303272418564008]
本稿では,DeCon で記述された宣言型スマートコントラクトを対象とした自動安全検証ツール DCV を提案する。
20のベンチマークコントラクトに対する評価は,DCVがパブリックリポジトリから適応したスマートコントラクトの検証に有効であることを示し,他のツールがサポートしていないコントラクトの検証が可能であることを示唆している。
論文 参考訳（メタデータ） (2022-11-26T15:02:37Z) - Detecting Logical Relation In Contract Clauses [94.85352502638081]
契約における節間の論理的関係の抽出を自動化する手法を開発する。
結果として得られたアプローチは、コントラクト作者が節間の潜在的な論理的衝突を検出するのに役立つだろう。
論文 参考訳（メタデータ） (2021-11-02T19:26:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。