論文の概要: 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ベースの環境を提案する。
この環境は、推移エネルギー領域からのサンプル契約を用いて説明され、法的なコンプライアンスコンテキストにおけるスマートコントラクトの開発を加速する大きな可能性を示している。
関連論文リスト
- Authorize-on-Demand: Dynamic Authorization with Legality-Aware Intellectual Property Protection for VLMs [70.09137776277994]
AoD-IPは、オンデマンドおよび合法性認識アセスメントをサポートするフレームワークである。
AoD-IPは強力な認証ドメイン性能と信頼性の高い不正検出を維持している。
論文 参考訳（メタデータ） (2026-03-05T07:36:07Z) - One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts [56.94148977064169]
署名の使用状況のチェックが不足すると、繰り返し検証が行われ、許可の不正使用のリスクが増大し、契約資産が脅かされる可能性がある。
我々はこの問題をSignature Replay Vulnerability (SRV) として定義する。
37のブロックチェーンセキュリティ企業を対象とした1,419の監査報告から、詳細なSRV記述と5種類のSRVを分類した108を識別しました。
論文 参考訳（メタデータ） (2025-11-12T09:17:13Z) - Trace: Securing Smart Contract Repository Against Access Control Vulnerability [58.02691083789239]
GitHubはソースコード、ドキュメント、設定ファイルを含む多数のスマートコントラクトリポジトリをホストしている。
サードパーティの開発者は、カスタム開発中にこれらのリポジトリからコードを参照、再利用、フォークすることが多い。
スマートコントラクトの脆弱性を検出する既存のツールは、複雑なリポジトリを扱う能力に制限されている。
論文 参考訳（メタデータ） (2025-10-22T05:18:28Z) - 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) - Bridging Immutability with Flexibility: A Scheme for Secure and Efficient Smart Contract Upgrades [0.1759252234439348]
FlexiContracts+は、履歴データを保存しながらセキュアでインプレースなアップグレードを可能にすることで、スマートコントラクトを再定義する。
FlexiContracts+は、不変性と柔軟性の実践的なバランスを達成し、スマートコントラクトシステムの能力を向上させることを示します。
論文 参考訳（メタデータ） (2025-04-13T16:59:28Z) - IoT Monitoring with Blockchain: Generating Smart Contracts from Service Level Agreements [0.0]
この研究は、与えられたSLAからスマートコントラクトを生成することができるJavaライブラリの開発に焦点を当てている。
このライブラリによって生成されたスマートコントラクトは、リモート患者監視IoTシステムの形式で提示されたモックシナリオを通じて検証される。
このシナリオでは、エミュレートされたすべての違反をキャプチャして100%の成功率を示す。
論文 参考訳（メタデータ） (2024-08-23T21:00:45Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。